| Key | Value |
|---|---|
| FileSize | 21439922 |
| MD5 | 479DF923D01F9C5A7043EB5E98F43575 |
| PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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 | 20140301+neon+dfsg-3 |
| SHA-1 | 72F22040D7BE202BF9C39FD9C4CF6164FB2E7144 |
| SHA-256 | C27D6FA11430DBA72BD0CAF15BB49F27871C77D8CF4B0DAE8932F8F2BD3C3E83 |
| hashlookup:children-total | 1002 |
| hashlookup:trust | 50 |
The searched file hash includes 1002 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/design.o |
| FileSize | 162660 |
| MD5 | A149E27C33B8B880C44B44A8A371DC01 |
| SHA-1 | 00305EE2B5D57E63A2A9DB53125679D6B6E61CE3 |
| SHA-256 | 45F5B4C2E5AFC644E59E6EDFCC3F1DC7BD74526B0A00730726C02D52734F45E2 |
| SSDEEP | 3072:cNRM4KU7wgwQXTJfJK5YJ3JeLIgGpbWkGEr3UYWmq:4RM4pwgwPsTbMmq |
| TLSH | T15BF35302C14CFFBAD95E5232946B420C523AC9873BEBA34543566161F421BDEFFB1B88 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/slicingInternals.cmo |
| FileSize | 10018 |
| MD5 | 8D08CE0D7C346932DE24BB7B2776C073 |
| SHA-1 | 0084329D31A188154F36C554ACF3FD3ACA1049D8 |
| SHA-256 | 55446244D1E4DD3A6BB9CF73068D871D924F538850BC1128DE20AB51A45035C2 |
| SSDEEP | 192:dFgbtYRsgdtHVTdNeEu16d43BEHVgC9urV9GQGmIFfp77V3pi+gmZq:BRlHVFDd4Y+euvGjmIFf1Bgm0 |
| TLSH | T1BB22A60E91248A75D8A91C7EAAE7FC5FE6408A7E04375D33503887A194CD4EEDB1738B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/statuses_by_call.o |
| FileSize | 16516 |
| MD5 | 6F26940AF67A01FC0C25BFB17BC54BD8 |
| SHA-1 | 008681443F90094E15603C03E3C9C97F2B51C880 |
| SHA-256 | 7C85FFF20087CBAC81F2F079FFBBDD39777DF8C107FA70D5F9E87766384B5854 |
| SSDEEP | 384:WYRuFRaBlrGZtcr9skyQWp/muHZIn2dMHBla/QnyriSHHPKdMn2ZIzCctaLYpG38:tRuFRaBlrGZtcrDyQWhmqZIn2dMHBla/ |
| TLSH | T12D72532EDE99DA2BD85E973580E703557634D5413F932B47128CA170AE033A49FF6E88 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/acsl.el |
| FileSize | 7574 |
| MD5 | DED41B8A94CA6418BA876FAE1E2B62DC |
| SHA-1 | 016D162FF31F071427B864867A93F9307E226DEB |
| SHA-256 | FD9FDBEEA69B69478D40A995EF2BA1447B45FDE2C3B0D70BEEFFA2A8ADBDCF92 |
| SSDEEP | 192:GAvXgHOx6+CShBZ/odB93UinKkWbGcyzWpUQB:FvXgv+xBZ/odB9uGcyzWpUc |
| TLSH | T1ADF16405FFF90DE13348259E3FCBA346A769E15B62A0194171CF860C3F4A42A63D5FA6 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/int_Interv.cmx |
| FileSize | 1382 |
| MD5 | 3CC305BD257D9E0D9BBD608431CCDA2C |
| SHA-1 | 01B2125826E0F6CCD2E5DD7EA827B15B423BFD57 |
| SHA-256 | AA008AB08C18B72E400A7F2E86E450DA0D75E72ED75DC0BA474B6C7AD0EF5863 |
| SSDEEP | 24:MIcu4lEExsyATeGhy/N7VjNC9it2e9EKeD6+BJKRB2Z:MkExsyKENRU8YuMoB2Z |
| TLSH | T1D221DB05DB5BD97AD8F954751A7543191D20A4409D7DC4F14794041D80EFCC9F13BB1C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/project_manager.cmo |
| FileSize | 53125 |
| MD5 | 257371EC3268A0C31E4E60EF3F2D314C |
| SHA-1 | 01CA6585114B3A16611884C5F4D6696A771E4B00 |
| SHA-256 | EEADBCF56419FD3F185DCE4A2689ADB95996D138C9AE261CA255AE36D80454C8 |
| SSDEEP | 1536:VGU57SHpgJhFWn8o2yQE9YJGaPZW1zjaK63f:bkgJ+n8v09YJG/1z2l3f |
| TLSH | T18333E70E7324E470C5AA18BDDAE4D98AD2105E7E6AD76DF7000442909ECE3EF9F196C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/gtk_form.o |
| FileSize | 18752 |
| MD5 | 5024648B08C55D905DFE99BB43755689 |
| SHA-1 | 02028E8DB6481063FA6881102C924DF110E39433 |
| SHA-256 | B288DD51924DC10887A310F2AF5E6DA6BEC5DA022C2A7E92C1270B7576F01CFC |
| SSDEEP | 192:U8w7C0ZGmsQmnaDuTSxURgWgcZdjIWv6tOyfayIWG1WCB5BSq4duFK4V/eRnoKch:U8w7C3QGxKSv6wjyBOb74i5V/OLcxDH |
| TLSH | T10D824211D6C88D2FC465EB3480EB13D0B7B2C9852BCAE7E7198875A87C433453EB6B49 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/glob.h |
| FileSize | 3297 |
| MD5 | 27A6C849FDC47537921AB150752F203F |
| SHA-1 | 0232DA82F0EC0EB25C92A74E8B3ED1290BCC986B |
| SHA-256 | C1A78DDB7CCB725AE88FA98B7179B9A0ADD53C05CED19AD39B7E16DA94696D3F |
| SSDEEP | 96:bC9IEDi90/b9CbKw4U9Ml5a9uWwkgHewyY5plKI:bC9RDi90/b9CbKwh9Mlk9upkgHEY5plZ |
| TLSH | T18161DB062ABC9F2A456118D1670C90DDC183E33B712A65997ABD37BD5B0ECE601F0F9D |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/Makefile.plugin |
| FileSize | 33454 |
| MD5 | 7F64DA0C8C11A2F210F5B34D91DF50CF |
| SHA-1 | 0243874C61058A36D786A4B15C3A18759408D482 |
| SHA-256 | 28A191EC698489035B812085D6F47B2DB802CEB59C0A2FFC9528454F49E2266A |
| SSDEEP | 768:+PXU63vxU09pLYQxuRu91dTdqw58f2EMJogg1hzzudtzNd2Q61WZWTIVhXUMTXzi:+/UKD9pLYQxuRu91dTdqw58f2EMJoggd |
| TLSH | T1FBE274D6B05A333AABD22DF027081CD9592534FF6C3BC5623AAD8ED55F3D08E82D6614 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/ast.o |
| FileSize | 16748 |
| MD5 | AA6523BB61BA33C002B464CA7D198F98 |
| SHA-1 | 0270F7634DB94EE5ADE1AC437F755A3BCCD66FED |
| SHA-256 | E9C93DE26AF08C87A2C9A8CF50FDB49A31BA5E7E27961D6F4CA6AA2A4CDD9F5A |
| SSDEEP | 192:fGUS4PS38qhDmNLHHjWhwPQ9YGBNG4+OYG55XF8lwGNOxhV:fVSqS/6HHrP4G2zhFm1ExH |
| TLSH | T1F77251169FD98D2FC85542B600EB53207331D2982BC67F4766CD7678AC473C81EE9BA1 |