| Key | Value |
|---|---|
| FileSize | 21176970 |
| MD5 | 9C42AC1FD029D9C91537D0A05F23579A |
| 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 | F7D4D890E697697487F42090FC7B13F8025CCAA6 |
| SHA-256 | 2B8407FCDEF590CFA37E6E1279D6F35D948B0D8C1749B735413252BA2951FF08 |
| 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/rangemap.cmx |
| FileSize | 2665 |
| MD5 | B7F640B85A3ACDEB776C5C065CA4E16E |
| SHA-1 | 006782295010E95DDD6E9377BC47154444F40C5C |
| SHA-256 | 980EB7D289BB28293450D72795C21C4288228D2F50F1D3A4B7D5F59E86EC872B |
| SSDEEP | 48:CVix0yK5Z5M+/LeFJLQL7l5NAjKaj5Xowc:aixDKjLe3s95Daj5XPc |
| TLSH | T14B51EA02FF50DD23F3EB557BA926B9444D38E8D5DC66CD734F240A21B0AB704FA55188 |
| 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/file_manager.o |
| FileSize | 20824 |
| MD5 | 15319929A80209E2A7E35B0D3E2790FD |
| SHA-1 | 010A2ED84DC3931A3C0BC5067063CF734ABA429D |
| SHA-256 | 724EE21A51709A02F20F95BF0E320FD0BAEB1F14EF728A2ED7027022BFAC2D90 |
| SSDEEP | 192:bKJpYfiD4tIREiD4txmrjt2aE8MnFNwDk4SK4mTPdiarjDpx/SWRlLbALol1kwzV:g1iSgT8DDxBDpxqWDLbaol1TJ |
| TLSH | T15C92FF07B75E893DC059DE3201722331637BFC45AE647B077A183B2E2F72D44AE65AA4 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/frama-c |
| FileSize | 11664568 |
| MD5 | 251AC7DC63E9D21C6C0423BDA5D6CBFC |
| SHA-1 | 012409C4D3CFEF36FD047EA35958C9CDC5497E6A |
| SHA-256 | 5F279CE3EEE3C309C4E5173004720B33E8884DA4621ECB817A82A9C56FC11E67 |
| SSDEEP | 98304:Naw4fM2fPtQ7x/ZCrZ8HQHDhUTELzhOv:Naw4fMAFQrS8H0DhF |
| TLSH | T1C6C61B53B4998DBDC6E6C239D7A76732BA7178612BA1B706148077002F238EE5B7D3D0 |
| 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/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/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/map_Lattice.cmx |
| FileSize | 6465 |
| MD5 | E02315B85FA89C939BCF3CB41E30B611 |
| SHA-1 | 02556B0B18EBE8F3AD9961CD3CD3E6BD2DBA20CE |
| SHA-256 | 515CB79ACA69862DBD68887DE67A65C2D67C5EEB605C6EF2FC4C4BDFE1646D00 |
| SSDEEP | 96:bbhc9x3KI8AbBAzak2ddrHbV4GcT0/LT9m+qA0HkhkGzLibtIzxthvrn6xgk2dd1:PK9UI8kBAzoh/9iWaeLLdthvqc |
| TLSH | T1E8D1EA03EF05FEA080E77BFDFA1566A4C032D4821C78DC738815861586DA95AE7F972B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/config.cmo |
| FileSize | 8548 |
| MD5 | D7CFD6CDF4E47E34115A1DC916A531F1 |
| SHA-1 | 02597FB22F0D227C727D869322061F2EBBE8A2A1 |
| SHA-256 | D4351D31DE7E4ECA62574DD21DBFD7CBA4DFB220C0989EEAC66437B11E84A806 |
| SSDEEP | 192:1YElleH3O3UnymgCjnIucj0N1hejwWXms:2olwesymgCjIGLhejd2s |
| TLSH | T11202B72FE7160430EDA774BE9CFABB89451D0AF075F7CB52542E172419C09CAAF62345 |