| Key | Value |
|---|---|
| FileSize | 18487522 |
| MD5 | 7CC68E4370DB0326A1BD7FF9E5268FAB |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20140301+neon+dfsg-3 |
| SHA-1 | 517F3528518B4A4D19E71E558470B0A46771B388 |
| SHA-256 | 777A630A23F710D9CA5108B56F3FE0A650FA73B35A2B70E332C2FC6A699CBA8C |
| hashlookup:children-total | 1001 |
| hashlookup:trust | 50 |
The searched file hash includes 1001 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Slicing.o |
| FileSize | 417749 |
| MD5 | 4C33272A846F22D45EB7A048EBBC2544 |
| SHA-1 | 0067CAE1877226DDB279C57CC872AF1CB89EFF99 |
| SHA-256 | 057C0ECD1D221089EAB7B9AFA4E5EF90039D5596AF104C15FE3A42B20A24CF22 |
| SSDEEP | 6144:7gqtyB9zt9npiAi0ELQf2gQIP1T4e3XJw58GacRqV3mm9:7gqtCiCBxpmAV3z9 |
| TLSH | T14B949942E749ADBEC456AE39C89B173D723A864A3BE26317B034F1342D313944F7265E |
| 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/abstract_interp.o |
| FileSize | 71332 |
| MD5 | 6786D712A4ABADB1F481C6743EC819E5 |
| SHA-1 | 00D070B092A00F11BD9D35B9A41279C2A4D817F0 |
| SHA-256 | 14888C75E200896459EC4C6C3A0540481AF606AF30D6B3AA74DC2218E18DBD9C |
| SSDEEP | 768:GaT1sKvQ5/Yq+6jCOY+6m3m3m3mcedY5S3wFwDKGaSwfYnozjR+2RO5G:GYKC2fpedGOwLGaSwgnsjRnRH |
| TLSH | T1136364C28B9B8FFEE0CE4E30CADA1B3D6121C1566DE977234115726C1AC21D56E3DE29 |
| 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/dominators.o |
| FileSize | 14852 |
| MD5 | BB8D43AAD3426486A2EE743C6F59F46B |
| SHA-1 | 018D9857B6A9119CC0EA5DC0AD66A8BA1D540ADB |
| SHA-256 | EE81E43239407C6D6F06EFF672E058C9E5A3A0E7B7B41B27141ED81DA03BD3FB |
| SSDEEP | 192:JLRdlW7OQfo8Rai8q5KZSZscP4KZR1htIOonGL1kK0zQ3ZwGwB5Sa/Zg96Ohk7:RRdlW7OQfxeRZSZZZRVIjGLu039fhQ |
| TLSH | T1E1620126EF888F7FD4952E3189DF27263230C14DBA91AB07D48CB6183F462D81B7295D |
| 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/datatype.cmx |
| FileSize | 17603 |
| MD5 | 57EE9736CF95A64A9E3B70ED53104D67 |
| SHA-1 | 01CA7345BC7500C2561C08179EBCAB9D238CE7D1 |
| SHA-256 | 6E859454CC2ED30F7DD353243CB6EA334BFA22FE1A191642FD37FC0085D50EBF |
| SSDEEP | 192:NCoNPDU3hI2N+GlsvQ6dT31+jMrm5N3de1QwFSd9B1doPnp4bJe/DBhC:kCI3hI0761MjMqTdiQ8sH1doObJx |
| TLSH | T11B824B02EB2815E1C8CBEAFD24D7D5D08509EDCA1E94EC3349900AB891FD5727BFD21A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/ast_info.o |
| FileSize | 36492 |
| MD5 | A04691C9274A197926922827EA1780E8 |
| SHA-1 | 020B8F9D5FD70CDF5F068588ADC0A7C46D5FBDB5 |
| SHA-256 | 81AAEAF780955215F53A8FBDFB8554295022CD8E51873861A85D0B1ACAB850FF |
| SSDEEP | 768:FKiSMsTdwgD4DkK2/2wkTVVP/nqXIu0SHqw+:FKiSMsTdwgD4QK2/2wkTPP/CIu0SHZ+ |
| TLSH | T1CDF2ED86DF888E3FC09D4EB44AE733A53231C1453B98FB23655CB21829437D59B9963E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Semantic_callgraph.o |
| FileSize | 23114 |
| MD5 | 1339CCA04F72C6F1D0AA8C8DC39CCE96 |
| SHA-1 | 0232A0001A820D5127A0AAD4EAF0E64BA98D6AD7 |
| SHA-256 | E9B9C4981A5BECBCAD8A152578EE9C8FA445E7BD1C7BA31122E6C2E6157C4EEB |
| SSDEEP | 384:5raq17EWeZbF7ejY8Z7A87KATbFbRsKde1cV4niG:Aqfk8Zh77bRsKIOVUZ |
| TLSH | T1F4A2F076E3D5CB7BF6BA2BB85C9B03A72231E6093B42B71FD128F16058127146763478 |
| 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 |