| Key | Value |
|---|---|
| FileSize | 18969176 |
| MD5 | E1DF67135444E970D6A088E4EEA176BE |
| 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 | 7094B49096F5D49980EB9F9525AF5ACAFF609BBC |
| SHA-256 | 5F75EC675531FE27D1E85330609D1F7ACAEDD650ADC63D10E0D01462B0463873 |
| 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/mergecil.cmx |
| FileSize | 6319 |
| MD5 | 6E265F8C38EB84894039FF10B24C0509 |
| SHA-1 | 0026A3BE4A20F05FC65CB40470A9CF9757D08DEC |
| SHA-256 | 5DFB337C74627C5C29979870B93B73D421BDB5E7DD78C5A2C78909976E4A3187 |
| SSDEEP | 192:9eyzjiLhPuskl70REfHAp1o3GseJepwwJV35lgAtH:P+ux70REfHATo3deJepwwJd5lgAJ |
| TLSH | T1D9D1FEC807C93457B4A5D2AF55D16A388CE380192B6AA5735D3D3E0E685CE00F35B3FA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/FCMap.o |
| FileSize | 1292 |
| MD5 | 8FA766BF2E6A50E2573F9F10B1D59DA8 |
| SHA-1 | 010CF21FCEFD9EF5FB871F339707BF925DDEEA22 |
| SHA-256 | 9384C9638E87B55B602D824AD866E3AC90EC0497A1F5DB9A5DC027E45148F92C |
| SSDEEP | 24:OXSaansl7rOk19a5wif4gFw7ADy9Eivf1o:uYns5rQwmuAO2ivO |
| TLSH | T1FE21688E978CED2BCC345178E08207383BA5C01D7781E7030D587D266D0F0D86D69F96 |
| 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/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/cabs.cmo |
| FileSize | 661 |
| MD5 | 24F3A5462B1A83912B99EF8D67B08E0C |
| SHA-1 | 02157D092F78923A0D9F121436E300A0B0E76489 |
| SHA-256 | C28D7B920AE8099777AF311C54BE9F2701E2028A5A72E3909F38CEC9C39E0E80 |
| SSDEEP | 12:Rm6lp37CUWBYqiXJmMDx1gRbYcFkKXuIbu/2NECXeqm/DAXTQNvIg66l:0Oh7rEYL57oFYcuKLJETXNvLhl |
| TLSH | T1F501682713DB6519C6E36FF785320B47EDA1952B52EB457866610402CD87DD96602E80 |
| 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/printer_builder.o |
| FileSize | 22376 |
| MD5 | D0DADB610D4FC77D2CCB59638F37AEDD |
| SHA-1 | 0284AE8C7215EA6C2EF0A5057D9318AD2F9A30A6 |
| SHA-256 | AD95413DE2F5B26E03BA3D78DB6F4C8E2B01AC92349E074E5C5482DBC5F78EA9 |
| SSDEEP | 384:bWoTnWfa/s2jMsWdhgiPNsXusH6fGbgAdhPb:bdmaJWdGiPNsjafGP |
| TLSH | T1DBA201E9878AED1BD01C537801B71B9BB2B3C88823A27F17893D6964BC57351CD6E349 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/typed_parameter.o |
| FileSize | 8664 |
| MD5 | 67A7C3C1330B3DF8CD23D3CFD06C3ED8 |
| SHA-1 | 02AFAE258B90BE7D546A2A0AA01756F4EACA6EE0 |
| SHA-256 | F04511CF672C4B7EE305F62A43434B324CF00F56638E382D395BEB0695B0A5C8 |
| SSDEEP | 96:BOc/ZekckoRTkNI+q0+ducSzaypY8ThQt0L4fzuuj:oc/Z5o+2+q0+fTyC6hTe |
| TLSH | T16802C08AE7CD6E2FC061E17058932E7833BBD08A3789A78349F46D51580FF65EC59760 |
| 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/cmdline.cmi |
| FileSize | 6287 |
| MD5 | 957C7E6E696DD041C0C9E12E75C0B00F |
| SHA-1 | 02F167A7F6562749732A25F890EAE6ADFE5E1935 |
| SHA-256 | 6CFB0DF755A7E162148522F21517BA4A39AD3D9CBC7463B391FC17DFBB02C746 |
| SSDEEP | 192:m6YCs6nApf2Md00WQMOSH4n/4qhjjr3lavVy:mWLApygSYnQYjlaNy |
| TLSH | T1AFD10BED8434F09C54EE7CBDE19CD987824153BF85779C37832A0A522BBA80D936355B |