| Key | Value |
|---|---|
| FileSize | 11224726 |
| MD5 | B0F1387D15B889F5FE998BF63EF04904 |
| 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 | 5F858037E0C859A885AFCA968D828682B5F4E11B |
| SHA-256 | B12239A1FCB2DD8B270992B62B3E41ADEE5EF923D86BF9BCABF3A4DBFB91C322 |
| hashlookup:children-total | 565 |
| hashlookup:trust | 50 |
The searched file hash includes 565 children files known and seen by metalookup. A sample is included below:
| 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/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/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/dataflows.cmi |
| FileSize | 3569 |
| MD5 | A9F12E16940EDFB6F13C0A539351A3AA |
| SHA-1 | 031A4F4D8C67831D084879E659E488E9E0732925 |
| SHA-256 | E4B7E0C34D75C6963823FE5C7543735FD41A8BEF1D8838EAE9DE32D58BAF4CE0 |
| SSDEEP | 96:GrEfD9c0kGcI/MgIOwgYTQ9zYksCbVhyo4KR/0A1G:399k7InIOwgHYwZEGx0X |
| TLSH | T19D7162CCA960C0A590BD79AD05A69C0B2A34673EECBF0E77046904B54DFA40DE313DDB |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/__fc_define_pid_t.h |
| FileSize | 1710 |
| MD5 | 09614E0757AD80B032D016D09F64077C |
| SHA-1 | 0390A0685E5BB4877929232EA470B4673C4C4A71 |
| SHA-256 | C44F24A9BB3A94E89A2598FBC377FFA1590DC7B616A3DEC156544DA64065F78D |
| SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa99D/:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a99r |
| TLSH | T18931991905FCCFBB490000D62B09C1DAD24BAB8B67585C59703CB3BE630EEE213E0794 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/coqwp/real/FromInt.v |
| FileSize | 1717 |
| MD5 | 9CE8782264EB48038B8ED00562D9D6E2 |
| SHA-1 | 04305D6E22934E924AB1E918C5CCB96A071FEC0F |
| SHA-256 | D81A60FF630FE505B271551D0F5EE2C1FE3D46B0CBC2099B15455BE587D58F71 |
| SSDEEP | 24:eZzYGj11XLRYRQyuYbFw5OL9bYDk5WMkvoXik2XWkBk7kZvLkIF4klk7nkykiZkV:eFth9LRYFFw5O1f2vqMWAZIgSglhGEx |
| TLSH | T1D331C0A314460F6296120FAD5C5641E3FC12A53A6B24B448F28DF2372BDCAB57FD40D0 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Aorai.cmo |
| FileSize | 2034426 |
| MD5 | 9BF70F3A75566D3D8B390283685592AD |
| SHA-1 | 05E5B58556B0108D1BBF76A92EAA0D9FA4BD4EDD |
| SHA-256 | 443AEE32C2E099CF929EFC13EF0806FD7DAFAA1623C3A1DDD653B5E7EC89BD3B |
| SSDEEP | 49152:M66wDgEnXmw+4nYu55qM5MDXbKu9/R7Yz46fflnU40TJQf8jm:BWR/S |
| TLSH | T18F95B58E60559874C5B512FEC8E57DFBD396C93E5A831FF7001842604A9FBCDAB0868B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dataflows.cmo |
| FileSize | 33863 |
| MD5 | 7532F6F23693754BD69BB332E5018E4E |
| SHA-1 | 063A0D11D444997585D111E11AB9F08C6E280BB4 |
| SHA-256 | 8955F28BBFF19882A37932C3834518F9439414F255D079DCEDBB7F73DC0A126B |
| SSDEEP | 384:wNWwuiCL2PcRXh0mUKB4BWUF8aL1yc52Cweyraw1GgMzikq6I2kOsSVU9V1:uYRUOadq8Py2yGgMH22Zih |
| TLSH | T14EE2C60DB720FD70C56958BED9D8CA4B0310AE3F28274D7B10190B294AD2B5F6F06B9B |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/__fc_builtin.h |
| FileSize | 6356 |
| MD5 | 9E332D0246288A707CA24971990776EF |
| SHA-1 | 076C6994BF154971FB526CF237561F9C9B5BF148 |
| SHA-256 | BFFE08959109BD5B754963000842D457B5482796867B65A84706C68FDAC61C13 |
| SSDEEP | 96:bC9YDi90/b9CbKw4U9Ml5a9BsIj42Q/CZGE:bC9YDi90/b9CbKwh9Mlk9E2QSGE |
| TLSH | T168D13D8B445A2FB0541360E37BA00EC7E115A4AAB455D8D9702D32AC3FDDFE877B49B1 |
| tar:gname | bin |
| tar:uname | root |