| Key | Value |
|---|---|
| FileSize | 17944488 |
| MD5 | 84838D9D278B3140D56211E3C993E541 |
| 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 | 20151002+magnesium+dfsg-1build2 |
| SHA-1 | B51AB6326C01EE8F67795B16BFA1A568A1729CBE |
| SHA-256 | A1FB497437154F3CC76FFEA6EAC47B77DDB8AD388B169EF96B382326C32B1717 |
| hashlookup:children-total | 949 |
| hashlookup:trust | 50 |
The searched file hash includes 949 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/Callgraph.cmx |
| FileSize | 19720 |
| MD5 | 5318878B21E5D4F6B6E8432388A4C9E2 |
| SHA-1 | 00A545C8D7E1098E3D058B16E557921F7B268BAD |
| SHA-256 | 859BF546844C572F38715577050FA9F3A119DD36490B096BEB081D9C5FA44222 |
| SSDEEP | 384:pTVOvV1jobnqgMox4rG+D6qpj4vhxkLMXeoetoY4rtWpjdy9/9eqj5vD4j2c:JVOvPjomgNyrG+npcYSeosoZrtWphyho |
| TLSH | T132921D61C379E82258FAA5BE2F1F0B524895C86D3F63EE7FC16C9B22189DC005537764 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/coqwp/Memory.v |
| FileSize | 10160 |
| MD5 | 0A78E338EE4AE1375E39E605D8E908A9 |
| SHA-1 | 0137E6B573E045B897430A36D157BF721C95AEBF |
| SHA-256 | 6F1884736D15D4372B0B71CD2D38783919D5FB20613E0BCEA8A3199369DF457E |
| SSDEEP | 192:jkzinAO2CKaCpkvG/M6P0ldki67frZikdZi3jZnZnbBNqSdDlhtK3ezB:oziAOxbus4i67jZikdZi3jZnZnVh |
| TLSH | T16D22528464AA1F1A159A7BFAACE340D1C4F6E62023F1BA08760DF15C4FDE466F673C85 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/emitter.o |
| FileSize | 55396 |
| MD5 | CD4B46ED978AA710A9469BEB87BFD146 |
| SHA-1 | 01B2EB360EB8E265EE3DC2DDEB6358EDBF4F1FFB |
| SHA-256 | FE903FD126D7E50FCF6A0B87CE3831A8FD08B53293CD9503C2A55E01A8A816C1 |
| SSDEEP | 768:jmSW3TVr1Zr0BpDkkk3kykkkokkkkkBkIBkMkkEkSdO8Xg7SJLKbda7aByDAsP24:K7397kqwULKgOcDPP5p |
| TLSH | T1924365D8E34CED6AD02A42F8885B57B4B7B5DF087741B2034A987F241C1B1A4DA5DBB8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/doc/code/docgen_lt400.ml |
| FileSize | 14204 |
| MD5 | 7B3080B6D9C1BDCA8055C58FD20833C2 |
| SHA-1 | 01B3AF27E882E3F39C19672EC8037A51F1DC48DF |
| SHA-256 | A609C776B2E327311DC29CC5BE908948A88C8E83D36569A750E23FBD2673EDFB |
| SSDEEP | 384:Czi97hzMyL2YsEzaoxP/xCem5wWWMQUQc8oaEWB:Czi97hHn5xP/sZ5wWWBUQc8oaEC |
| TLSH | T1EB52416216E1193336CBC1B6AAC652C1DD81C29F0220EC147AFC756CBF0ED7A52E57A9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugin.cmx |
| FileSize | 17121 |
| MD5 | 38AD108FAF5E66D2EA3D3CB3960482A3 |
| SHA-1 | 01FC3562319D300992515B4A850E74726C52BF4F |
| SHA-256 | 42377A300243B168F0CD9BE1C7FE0F7118723A398A9CF0FF49056B349AD4E8C2 |
| SSDEEP | 192:fRAeZ3jcLJIpT9GymgwmTeXnoMqP4jCmDqHWhg3ioZNgm0XotC3AqZMZ1aM5DFGF:9bagXSXYNqq2h2ZNcotZqJM9YCr19O |
| TLSH | T111721149E70935638C7DF4FE0525ADB814BB895D3B65B9A40AFC0E111D2FC14E22F396 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/linux/netlink.h |
| FileSize | 1689 |
| MD5 | 99C79465043E4CB2FBB57B7A78465393 |
| SHA-1 | 025F177ABA404DF953594D67880248E9791E04D8 |
| SHA-256 | 13F3443C7781E09E7C03895A059968ADBDB1C7B5406556131D0E100F27EB60E7 |
| SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa9ehsV:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a9emV |
| TLSH | T18B31991915FCCFBB088000E52B09D0DAC20BA68B63581C09313DB3BE634EDE713E0798 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/slicingTypes.cmo |
| FileSize | 25748 |
| MD5 | 3EF2D1BAE52E1646DF5D2C6E0C662E77 |
| SHA-1 | 029B3C42998426B4513909FEBC52E42368D7C9FE |
| SHA-256 | EA17501A8A7737FAB3EA4F253C68A3A527EDFE1B2682479C4C7A507B7B8A6876 |
| SSDEEP | 384:MpnwqDd8EVcVjesXtlMFzPZCClG+VyvRDyqUUXwbFwTd5uj08tVS3fYWEkt:MpnwQGGOjpcC6yvRDU0wAdwA8tVSw5E |
| TLSH | T1CAC20A4F652AFEA6C5E4587EDCE188871310DA7F0443EE77601C4F296AF251E6321B07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_lexer.cmi |
| FileSize | 1311 |
| MD5 | B66DD4DFBF961137A81467E246E77497 |
| SHA-1 | 02B4C27ADAF19F51D1AB9502F08D312FC763641B |
| SHA-256 | C509779C7DBB4C4FFB66E192DB786FB35F44E7DF1FAEFF9DD02BBBFD744A924E |
| SSDEEP | 24:gGw+CeiJMJElt6tRDxCfyWCbvnrCyCS3H5oFYcuKLwETyNvLS:e+ziblt6tnSrAvnrxRH0Pf/TAu |
| TLSH | T1BE211D9DA7744896C88E19F99050AD676821667E046F2EB3D25900E59DC9A0ED3838C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/parameter_customize.cmx |
| FileSize | 4790 |
| MD5 | 38D3AEEB2A0315AFDF52DC35B9053FEF |
| SHA-1 | 02C3666ADFE53E55B4FD44EA6E7C67FD3FBFAD88 |
| SHA-256 | 31119F142703420DA3F2CA9280D01E5DAD9185CE25FAD2C556A08D7FFE82783A |
| SSDEEP | 48:3RojZ+RPfeozxAmsR60LPKFy9OXIEdrDulXD5dsKOryHOcK0BvV/YeAmtyVQhVxA:BowPfeozxjS60LoXIEdr8TYyg6V/1LBO |
| TLSH | T15CA18FA9472175F38474A8F6321FE5FA44BFC389B6B9E41547A80D20198FD6CF23A320 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_print.cmo |
| FileSize | 97467 |
| MD5 | 4625A39C02C990D4D8492B32666C645E |
| SHA-1 | 02C9CE7E7A73EBA6133CE41501FB95A368F90424 |
| SHA-256 | BDD743B50BF42CFEF6160429F0F7056257DCE71520DAB541C4FF53062CECDFD2 |
| SSDEEP | 1536:H52iVDvyyQIjylkrL9pv2BQmSd3PX9W/+PKP:Z26KkrfyQmSdv9mT |
| TLSH | T15D93B44BD785E839D0544C7FECF1CE85921659BE6463EF270009823C59E7AB96F20E8B |