| Key | Value |
|---|---|
| FileSize | 17857700 |
| MD5 | E59332D1E958B55ED82AFA84646AAAFD |
| 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 | A4B52EBDC2AC6F3378B76EFB3775EB8B3ECBC021 |
| SHA-256 | 7ACDF74B1FD109F681E932ADAB3BFB84CB2BA560263A7FD4D8B384B482D90BAA |
| 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/buckx_c.o |
| FileSize | 2140 |
| MD5 | 2C18FB324D54383BE9A2E1C84DE75024 |
| SHA-1 | 006F23381018AFF2E0A4108895F9598E513DAD93 |
| SHA-256 | FADE73C4C05B26C5A45447067800CBA4C8A95F55D4280190C1F56C814E7723A3 |
| SSDEEP | 24:dXj6h7tL6zMtLF7ArQ4ijYa/QYYDZh1E9sv07bYgtCPOj6alFilD6T:tj6h7tL6zMnAs5/QYqT1EBprhFiFW |
| TLSH | T1E44174161BA09E3EDCE10536DA974B275395D51509C6EB1780DCC8B41C833CC6DF4DC4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Value.cmx |
| FileSize | 6458 |
| MD5 | 993A657AED3097EDC680B79CAB27DE9D |
| SHA-1 | 00F55D7A150C5F3091AA982ACE6DD6247297C9D7 |
| SHA-256 | E5C7391D9E9CBE38C94F49CA4FAF9B623577029BB29990C4D0C019884D3281A9 |
| SSDEEP | 96:q2qjImHssB9MIA98y7sACsk+W38itPhmtN1hq89uA8AHV7eLLdlflxl0p3v:1qcGtkINy7sokDNPhmFh9qA7edjk3v |
| TLSH | T121D14D48B7E2FA179EE711415A6E84138AF19952306FC68083B851D448F7CEED3AFF10 |
| 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/logic_utils.cmx |
| FileSize | 12864 |
| MD5 | 2CC435E5E3D62BB0AD233C002C79ACE3 |
| SHA-1 | 015AE4150997F9876726585DC29BF608871CF1C0 |
| SHA-256 | B1A1094E08D23680F81DE481B187FA42B0C7E379C859DCBC7C4A43A2D5596BC0 |
| SSDEEP | 192:qXQwl/MJMDlLZR2EVucO6m/X3cQ/gkI4fmUrmjgPu7Zn7r:GQaUJ0bBFO6sX3t/nI4fmZjgPu7J7r |
| TLSH | T16E424EAB5B0A78025EF7A8F65B11796C14EBED78BB17D17219780D1588CBECBD308324 |
| 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/boot.cmi |
| FileSize | 3021 |
| MD5 | 2B1F7333A80F22B850DACD658EBF4FF2 |
| SHA-1 | 017FE19C6663EE1F8A72E259F0B70E47A60D0830 |
| SHA-256 | 02FA4010C6A3D11EAF9F51421BC14F9596F8FE6E7CF41A93C59C71128BE39147 |
| SSDEEP | 48:MjOq7WtD9NVIIzUycKEqJWrsK5V7fo0FEobyyYvv0roRAPBoMXoV4+p/tWpC+AnW:MjlqfIIzUDKOrLFFhgUEmZRs/UAEdsM |
| TLSH | T1C65108493B95FE275CFE4210492E048748716559187FCEE083B4277894BB44CD32B75B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/unicode.cmx |
| FileSize | 1485 |
| MD5 | 9B3217B2F8B317D202DD4A0AB4E24D80 |
| SHA-1 | 01D7F18C675B8009D1612BB5DD8E505783B234D1 |
| SHA-256 | AE64B843E73DC4D909AEFE238679813BD1F99D3CE5EE053F7762D5F24C032D26 |
| SSDEEP | 24:eOABc6KOlyB3ooMpHATeGhy/N7VhGBIu8kqStASB/odi249izM6+BQoQwt6H:esJB3ooMpHKENa/tYnyiLMQxnH |
| TLSH | T17931D740BF50C8677CF8B452097A4D8F2CBB391578BAC1B042E0002948BEC10F33B638 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/hptmap.o |
| FileSize | 92896 |
| MD5 | E74BC07FEE221DB929710B15EFD3955B |
| SHA-1 | 01DFA5172DBBAE2462D9B9BF529185FE0918E13B |
| SHA-256 | 33B8DDE0CB228FC4C79D6D0C6EE0912097D0F2CA164EC8A4F85D274C9B55458E |
| SSDEEP | 1536:MEOfoNj4eFptWEXVbq/xDehAhbcrS/JghV7OkDn6vK4b:MNY4U3WEXBWbd/JgykDJ |
| TLSH | T1D593C74A2F9CED2BC1A8C3729187366F51F1C20B37C2F71B4C686D44A55B394EEA8794 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/printer.o |
| FileSize | 33464 |
| MD5 | 1FF7E533B80E09F875EE2DE1E36BEF96 |
| SHA-1 | 021267FF624EC91815A86B7D44B50BAA89382CB4 |
| SHA-256 | 4BB6BCF78987C8B73B30D2AAFF45B29761B7B60468B3590EC607D2BA3744677D |
| SSDEEP | 768:nqkGVN5QUHGLWCkymL15tNZyGN+74FzIPsNNkY7vWfi:niV/QUZ3nXyA3Bo |
| TLSH | T16FE233CB535AAE7BC465C27080D726AA72F3C2093BF1770609647D68784B360FE6D7A1 |