Result for 004501103E89975F2C59287CAB77A18D94802E85

Search result
Graph view
Children (998)

Query result

Key Value
FileSize20604506
MD50417EFC69E4DBE4E6E1084A5FE45517B
PackageDescriptionPlatform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20161101+silicon+dfsg-5+b1
SHA-1004501103E89975F2C59287CAB77A18D94802E85
SHA-25617CB5A158AB2A698DCB40A5881480922E84315D126E933EBD2AA74E33D83D435
hashlookup:children-total998
hashlookup:trust50

Network graph view

Children (Total: 998)

The searched file hash includes 998 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/frama-c/int_Intervals.cmx
FileSize2493
MD525441E96E9AD05165B7496D4C09BC304
SHA-1005C030C998F4B2AA7ED13F98C2F3F2A8AD9ED20
SHA-256618DB3AD7AC32251B42A0719F45F93406792692888D4466AE6FE2401A7C1B653
SSDEEP48:YrOzXChxR6Q5GtfdUP0LPZFy9A4QEfvCcuGN+w62O88uL:YrOzYxt5GtfdUP0LkA8vCcGI8uL
TLSHT11D5141310F0AEC3340B7AB36E98D9861DF38D45646E2CEFA5DAD15C3A451D87D82B70A
Key Value
FileName./usr/lib/frama-c/state_selection.cmo
FileSize49190
MD567B68D15AD22B625D908A057015E4BA4
SHA-1008208D65D2A0FD698673F61CCFB2D582BF179D0
SHA-2565CDBF481BA680E358B126B85ABAF48636AF9E909AA15296FE9C1871AA39440D6
SSDEEP1536:QdZmaMQsys0DtfQ5gWY/hagkMGTeQ5kvnAG:ng2CQRhq+4nAG
TLSHT17323E90E6A30FA71C4B929FCD8F88A9707525A7F641B1E3B40480F1466D6B1F6B06B5F
Key Value
FileName./usr/lib/frama-c/cvalue.cmx
FileSize19673
MD56EFB235DF49B66D309BCA66DC9FE864D
SHA-100B909AB152AD86346B9F6138B371396C768B892
SHA-2560DF4A9B8D14A9F9CA2408D8D2F36FE83C209E13DE0EAE8C05ADFACE407D0DA61
SSDEEP384:difUJ+IlJ5HSB4uqPV8XbK4f0FRGwHZzP6GsmGVLJfA:difUllDjuqPV8uLLGw5TRsmGxJo
TLSHT193927721EF0A7CA344AEE5BD8A2A59D08F30D4462E60EDF1456D860779D4D4EE37F30A
Key Value
FileName./usr/lib/frama-c/datatype.cmx
FileSize15151
MD5A2A5FB1732564DB200658F59FEA5F087
SHA-100D2C61C2A9BD3A04E7C252C7000D33D1FFE2A38
SHA-25628FCC82AB16740B3CF9E48260D1B00971A1F5CCCAE7167A88F805B7AE9FA6D99
SSDEEP192:enyLi+2Jnz1d3Qv6+42JFteo/k5I/0o6kLzfuRj:O+QLgv6+4+k5w0o6kPfuB
TLSHT17E62F601FB2A12E18C8AE7BD36C6D580C904EDCE1F91E87444A846B6D6ED57123FE35E
Key Value
FileName./usr/lib/frama-c/state_topological.cmo
FileSize8673
MD5AEE90936B897FB3EFBEE1D5871A047C2
SHA-100E91048F2BF1285203F14ADEBD3F430797153FA
SHA-256D1233598AD43E3EFA29F52CC6391C446231BC85C3F56166C4F59F2C347ECB99A
SSDEEP192:5Or7w04hxJCuyd0n2H2BEXC+89r5WrNGZXndg1HrwogJhvu2423Nu4DL9V:53Uuyd0n9EXCF9WpGZXndaH0ogJh224+
TLSHT19F02B30EFB28E431CC6225FDECD9CD8926746565ED178E6B00170F94949322F3F59ACA
Key Value
FileName./usr/lib/frama-c/logic_utils.cmi
FileSize39377
MD571EA225405774BBE372D9F652C59A195
SHA-100EA2556EB592A839A5B4FAD120ADEF3BF210693
SHA-256933D7D9AA277AE1DC2D782E4E55A858F80FA442DA896D9E7A1D49188BDF839B7
SSDEEP768:Y5QOIO3ttVJesC6D2XTlJRcik7wDIMYO1z50uCh7Cn5:Y5QOf3ttusfUhJRct7wDIqp3CG5
TLSHT14B03A24C68A9F4E0059AA45ED04A892BB791833FAC762D77811E91F03BE660CDB15FD3
Key Value
FileName./usr/lib/frama-c/mergecil.cmx
FileSize5796
MD503878BC1FA59485EF52B7EE56720A1A7
SHA-101B2D51D7B864E2656FB60825C17AF4065D44A26
SHA-2566A542AE93AE5F580D3530BC4A3B32BF35097976D63F28291421F44521B57A891
SSDEEP96:epplpxM5d60LiMKcEMCjwcCBc1fmuAdT67P6MmS30WBrM+DDC+okBG1vvWR47op0:eNOLiMp/CjwcCKNYdQP6MmSE6DPokBGh
TLSHT117C170D10BC97E56F4B6877A44D640209C72D0032F688876A16C7F56A9DEF04F3133AE
Key Value
FileName./usr/lib/frama-c/cabs2cil.cmi
FileSize6505
MD533B68FAAEC1FAE0A2716DD0757455B8C
SHA-10213EC8E737E06AAC57EC1FC10AF846080AF7BA2
SHA-256D482A17866DF88BEED51D88C2CBC43C21212B008E30C3B201239B95D450E3F6B
SSDEEP192:Jh/20T6CywXgf1nB8xs8kef8Z8V/u8T8ZdAOr2ZAZ+uBQzVLBh:fhyEg1GxVkhuRThuBQTh
TLSHT1F0D1AA8D4004F2BF05DCB85DD45DC86B19A12BBE8ABB1DB7A32904F45E2840FC723A97
Key Value
FileName./usr/lib/frama-c/base.cmo
FileSize117597
MD55A645BE0A92FB14D879BEAA5B7447F23
SHA-1023DDD1074097C14CD5C7E15D687586483C3DC60
SHA-256B4EBEB0C4C892F4CC32C1F0DF791414B65F59B29D1883E55BD2446815FE8BF88
SSDEEP1536:ILKzd0A5/yyKSzn3TtER5KwkZaKjykixQO0hOphOMVktagp7N+I1hcrRTDst1fTv:rzdDznBER5shimwnkFpE+h5R/
TLSHT1EEB3C78CAA30D6B0C49C5EBC85F8898BD36142BDB5672E7B040C065066EE6CF5F1B75B
Key Value
FileName./usr/share/frama-c/libc/__fc_machdep.h
FileSize8367
MD577E2D9713DBBC4AF5F2EFA69BA48BE8D
SHA-1026B5ED10FD8210A6DA3AF570B830F6855588314
SHA-256773EB4AA828BD47636084A4220D4A25B800294A1614893DA72936294760E1169
SSDEEP96:bC9nDi90/b9CbKw4U9Ml5a9muVsKpuwUNuOo6VsK9wkbRFue6rgu:bC9nDi90/b9CbKwh9Mlk9VN0izgu
TLSHT16402CE990CD8CAA424335066151E86F99209ECFB628024EAF01F6DBD5F5F4718BFC9DE





metalookup is a service from miwakeru.com