| Key | Value |
|---|---|
| FileSize | 8140598 |
| MD5 | F2BE0061F002D8052DAF5BE07BD67904 |
| PackageDescription | Platform 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20161101+silicon+dfsg-5+b1 |
| SHA-1 | 5B4E3375A41A7B2986B97CEAD726950C0FB2898C |
| SHA-256 | 664F5EEFBE02A9A8699AC4A592FBBBC64B5D5DACFDE2CC0A31356A7E3377F167 |
| hashlookup:children-total | 562 |
| hashlookup:trust | 50 |
The searched file hash includes 562 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/indexer.cmo |
| FileSize | 21808 |
| MD5 | 38AEB936623D43A86384EE0495C22A97 |
| SHA-1 | 0009918DF0D21B55429F8888B161D2CAADB38AD8 |
| SHA-256 | A2B9A79431B2A3F882CBF88A939716BD7376860481419C70B2BD479B4D20B8BF |
| SSDEEP | 384:C3BeSs9QxKXObbHd57GQtFM28h+Omv7JiBN4+5jUp9GuJzw6w2:AeSsicXOXdlGQtFM28hWJiBNtVUpcuJX |
| TLSH | T110A2A54EB714F636C1B528BBDCE48ECA521058BFFA132E2700494716A5C3A1E7F65B87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_utils.cmi |
| FileSize | 39377 |
| MD5 | 71EA225405774BBE372D9F652C59A195 |
| SHA-1 | 00EA2556EB592A839A5B4FAD120ADEF3BF210693 |
| SHA-256 | 933D7D9AA277AE1DC2D782E4E55A858F80FA442DA896D9E7A1D49188BDF839B7 |
| SSDEEP | 768:Y5QOIO3ttVJesC6D2XTlJRcik7wDIMYO1z50uCh7Cn5:Y5QOf3ttusfUhJRct7wDIqp3CG5 |
| TLSH | T14B03A24C68A9F4E0059AA45ED04A892BB791833FAC762D77811E91F03BE660CDB15FD3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/Makefile.config |
| FileSize | 6415 |
| MD5 | 6E967D9D63FE23CDFA6F4BEB62E1800A |
| SHA-1 | 011404CA796AE14A8395C5CA39B1670E872A8966 |
| SHA-256 | 9AB6F882A1C0B14AEB807F0ED7E2DD28B8C1F9BD4C9D1898AEA1B4415CD0C34A |
| SSDEEP | 96:UPfAi7pkv1iPcyk51O255cOWN6JqM6VUlAspvZhw6+B:UPoiWdip25KOWNuHlAspvZhw6+B |
| TLSH | T1B7D1862AE509691C17533CF01F4AB4E994CEE3737EB30868B84DE00D231E45F8A67722 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/project.cmo |
| FileSize | 142470 |
| MD5 | A33B24AC683161CCEFD56768CE371E74 |
| SHA-1 | 020B85C6476C0FCD2032FCA71D4227C0397A6305 |
| SHA-256 | 77C637E5EA55DE8F9412EFF4AF4D4EB63F48EB330769D21FCB5FEE3E9CB8A4B1 |
| SSDEEP | 3072:Zu3le0dkqm5E32kb1SibU20YTUD9Ukj54P:ZuVzqqT3Hb1SiQNY+9jA |
| TLSH | T140D3E70EBE64F571E89848BDCCD5DE8B0311983F6523AF7B100807A49AE671F6B05B4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cabs2cil.cmi |
| FileSize | 6505 |
| MD5 | 33B68FAAEC1FAE0A2716DD0757455B8C |
| SHA-1 | 0213EC8E737E06AAC57EC1FC10AF846080AF7BA2 |
| SHA-256 | D482A17866DF88BEED51D88C2CBC43C21212B008E30C3B201239B95D450E3F6B |
| SSDEEP | 192:Jh/20T6CywXgf1nB8xs8kef8Z8V/u8T8ZdAOr2ZAZ+uBQzVLBh:fhyEg1GxVkhuRThuBQTh |
| TLSH | T1F0D1AA8D4004F2BF05DCB85DD45DC86B19A12BBE8ABB1DB7A32904F45E2840FC723A97 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/__fc_machdep.h |
| FileSize | 8367 |
| MD5 | 77E2D9713DBBC4AF5F2EFA69BA48BE8D |
| SHA-1 | 026B5ED10FD8210A6DA3AF570B830F6855588314 |
| SHA-256 | 773EB4AA828BD47636084A4220D4A25B800294A1614893DA72936294760E1169 |
| SSDEEP | 96:bC9nDi90/b9CbKw4U9Ml5a9muVsKpuwUNuOo6VsK9wkbRFue6rgu:bC9nDi90/b9CbKwh9Mlk9VN0izgu |
| TLSH | T16402CE990CD8CAA424335066151E86F99209ECFB628024EAF01F6DBD5F5F4718BFC9DE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/integer.cmi |
| FileSize | 6218 |
| MD5 | E6FFD6CCEBCEA8B703E39AD81EB95FB3 |
| SHA-1 | 03785273D8715D32B682569DDABCE39AF2B9401E |
| SHA-256 | D0ED28D1678212A06713A52CBBD30250E47C22555FE541FA6086CA2179A7E2A9 |
| SSDEEP | 192:NgI+P69gfbDRv9x8o6HTQPE4RWA+zeW2egys1:eIp9gfvRvgHEPE4RWj6negys1 |
| TLSH | T189D1B7EC9024F89C54DEBDBCC2ADE9870382927F80771D7B4327585697BE01EA72240B |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/netinet/in.h |
| FileSize | 11609 |
| MD5 | 53A20D3ED6F455F7DC0BDD2D89F253DB |
| SHA-1 | 03B00D85E2B377F9E3E05871DF0963D80D2EB487 |
| SHA-256 | 3E8C00286D0C397E714BF4964AA8D643F2E9012BE2A2ACAB008D23D1FF3A155A |
| SSDEEP | 192:bC9nDi90/b9CbKwh9Mlk91nSElNlbhSQfuLF0B702PPVIgIGGiba2UQ0s:qX3sl+p2T |
| TLSH | T14C32E9001DF5199A407259893709D9CEC149DE33A56A06FC38BCBE2D4F4E9A98EF41FE |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/sys/param.h |
| FileSize | 1788 |
| MD5 | 2133811EE100BF531FFCF55E9C738110 |
| SHA-1 | 03CF5700DDE9CD3C8FE511DA8DF4412BCA90E647 |
| SHA-256 | CF8BCFEF17502B043CEDD32FE3B82F0026BF83FA83FED881337828735FB2A824 |
| SSDEEP | 48:bC9nXTi9xW/b9CJVyEqHw4U9Ml5a9ol4G:bC9nDi90/b9CbKw4U9Ml5a9olb |
| TLSH | T11831561515FCCF7B490000E52B08D1DAC25BAA8BA7590C59717DB3BF674EEE607E07A8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/FCHashtbl.cmo |
| FileSize | 23224 |
| MD5 | 4424C3D6C065175F6428259675C63C9C |
| SHA-1 | 03E4B2BC75F572E93EC57457A8545CD57AB6D589 |
| SHA-256 | 6AA500BB4E4ADE014FC610F67F1CC92010F0BDC9BFEDB19781AC70B652B3102B |
| SSDEEP | 384:IetBicZU30oGW+aegm+RdWzLyTsSFxEi3Pda56xpBoQMw4RlgBNxP5M:IetBjU3H/+aeg52Lydzg56x3otw4RlgQ |
| TLSH | T1DDA2C52E6A70F931E4FE5DBDEDC899A711018DBF222F1E3B044A06A9726300D7735947 |