| Key | Value |
|---|---|
| FileSize | 16931210 |
| MD5 | BD1474457772AD87D05C0B5513F16D84 |
| 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 | 20150201+sodium+dfsg-2 |
| SHA-1 | 4470EEA7AAE83D023D08288197177E863298EFAC |
| SHA-256 | D7B85F5225C0EBE29E831538D277B7A9920B733CC1630D0DCCBA4846AD8D354A |
| hashlookup:children-total | 900 |
| hashlookup:trust | 50 |
The searched file hash includes 900 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/kernel_function.cmx |
| FileSize | 9846 |
| MD5 | CFE03AE7B871D0CF29750311D1B2A97F |
| SHA-1 | 006F59DD4BDA0428C2E220156D17E534C9FC798D |
| SHA-256 | 7EAFEA5B9E10A8BB3815FCC7048AC11FA072CC3E4B8EB4BCA577C0453BE33F25 |
| SSDEEP | 192:thMl6IbVwyFg3rQ4vdwZ3Vcw1/xL0F0zkmXARaMF2dph+wJl0LirKc6VzJdYYZF0:AlrbtwY/1nWVvvM |
| TLSH | T1DB12EF8AEB14B857E4EA91FE221BAD2D04F39C4B3A60F0630D249F540DEF405C66E778 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/pdgTypes.o |
| FileSize | 73820 |
| MD5 | F9A286DFA0D6D853EFF80486CB590C97 |
| SHA-1 | 00781ABCE1050A5E5C066578F4847F0E9F9169F4 |
| SHA-256 | 12ED14CAE46EC589F1B9292A55655FEC451F853E0AEB6CC178C000845F6149E0 |
| SSDEEP | 768:jIt2JllYiTCx/CSl+VKTUXViWGsksVgu8qMphX5cbdsQeQPN/a8FyRospoo/:JYi+xqmcV9GsksVgCC5SVJa8gPeo/ |
| TLSH | T1EA7391A9EB4BAFDAC1B148F14183177533B5D3882AF8320B9EA0FE2D281557495DD7B0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cparser.o |
| FileSize | 258080 |
| MD5 | 47E8AE09A76147D6DDA9F23FB2CD5A1B |
| SHA-1 | 00796BD5276B174E2AED7B89ABC1C34502FCEABE |
| SHA-256 | 8FAF52A13F5A802792BF6F037A48E76D67F2D7779357338352C21EC436D4680C |
| SSDEEP | 3072:v6lmJv21TVgfzVFx8ZwRy5zNX/yEu8mOKQ8Vv:S0gVgRFx8ZwRy5zNXalOKZ |
| TLSH | T1DE444081A7A4AC1BE83359F8488B5B7677B1DE082640F7074D647D247C372A1DECFAA1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Users.cmo |
| FileSize | 76985 |
| MD5 | E899A0E91F52FE42C98566D02657CC80 |
| SHA-1 | 010ADEC9D499FAE3472BE28E8E5CAF5C65CC0A16 |
| SHA-256 | 8E72DCE5506B11C7CD0C80551C649629484C46FCA733A4720C3DFB6FB7D95A6C |
| SSDEEP | 1536:EN6SWTXi234wDQUQPhiRInV5jc6nZvqwXP1YBtGdpA:EN6PTewDQUQZKIncKwKdyYdq |
| TLSH | T1D873638C5529F470C08E1ABDD4F668672E608A7F58B79D3740580AB2F7BB40F8713A87 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/nl_types.h |
| FileSize | 1896 |
| MD5 | EBCB39E14463E7ACF51C0E8245000F59 |
| SHA-1 | 0117652DD5F243A7754A022E8A3B3FE6A7E6C894 |
| SHA-256 | A7FB0FADA36B4D1A1E1E1E06CF52AC89479004A9ADFA5084BCE71BEF2C28BB86 |
| SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa98226s:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a98Ws |
| TLSH | T14041684919F8DFBB041006D51719D1C9C21B9A4B7658AD98703DB3BE6B0EDE613E07C4 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dataflows.o |
| FileSize | 18860 |
| MD5 | 20230BA1297DF86A5729D89C010CA30C |
| SHA-1 | 014B6232CBACBF2D838BFB759329191DE99BBA0B |
| SHA-256 | 73AF92DA75F3E6B93692C5515A20A4234C7F85C41185B0523E183719A8A5B9CC |
| SSDEEP | 192:WEYiIp0T9C/NlLEVt8FE25+wgv4boc0Gh53yjobkrm4zR0Z/Jd1iOpXN4z:CiIp0MFlq8eLwOGfrzbZhpyz |
| TLSH | T18282B675AF48C91CC0A709F0A98B47B1B374D3C836C127274194BA3D79936F86768BD2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Sparecode.cmx |
| FileSize | 4008 |
| MD5 | F1FA422139859AB6EFC62A64C8DCF4D2 |
| SHA-1 | 015D0148D285359C95E26D2D5EBE828A9D6EBB85 |
| SHA-256 | 52CCF02D71387AA3769C80F1B329779AB202A52F24E6AFC4B62B0796EE7FEEB1 |
| SSDEEP | 96:/nIIzq6DK6cSuFFhgUdjYmZR//ACd3pAvPSIb+z5CTO:/n9rGzS6djYmz/1dpmbyVOO |
| TLSH | T10781190D3B85EE7B1DF951809A5E4C039C792956287EC18083B427E884FBC95D37EF68 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/__fc_define_time_t.h |
| FileSize | 1707 |
| MD5 | 0D789BA4EC2EEBD3AA65BB8EE504A3E5 |
| SHA-1 | 015D7D35B4FED52524F4AD433CE1C7CC74A92A42 |
| SHA-256 | FAC870D29111F0D5936A1889999B6BEC2D878CE05C50C8A02EDAC58A737FC244 |
| SSDEEP | 48:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a9NzjU:bC9YDi90/b9CbKw4U9Ml5a9ZI |
| TLSH | T19E31721916FCCFBB090004D52708D1DAD24BAA8B6B596C5C703CB3BE670EEE213E0B94 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil.o |
| FileSize | 643112 |
| MD5 | 2DC2B242DE139F4027625D18A0AB7DD2 |
| SHA-1 | 015DFD08361E42BFC3B9C744F2E69A2AFACB9C62 |
| SHA-256 | A145B965D588E5672B6CCCA92376664912B25D5BAA3B24E760D5F2B991239937 |
| SSDEEP | 6144:26BIhwkUUxVwdT45wtiy9fpdIKGLzqxete/Nq1fe0ZYnPT7lel2KyhZNaB9T6c2x:2AewkUyqMzD7sete/Nq9esrU |
| TLSH | T1D6D4A448DBC8E91BE02B4BB40953177577B7FA9C3AD1720B89457C2838526E2DB8D7E0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/mergecil.cmx |
| FileSize | 9381 |
| MD5 | 51A620797EB08CE83B299F14491D47AB |
| SHA-1 | 015F827DA1FA5B7206D402FC57BB54D78C31BFFD |
| SHA-256 | 0763772429EBEF2C3967BAD3C8D8F4C0E6EDC445D39114AF5E032D9D182BA157 |
| SSDEEP | 192:GaOzl79/Bk6xvlDIDHYW9tk0cJY6xvlDIDHYW9tO80PIEjpmrGPqrSKoyaYs0me:GaOR86xvlyHY4+Y6xvlyHY4YxwEjpmrt |
| TLSH | T1FE12F2CA8750B4BBE56641BF25E2BA6804E7CC066F5DD877493C2E5840ACE40F3287BC |