| Key | Value |
|---|---|
| FileSize | 18921076 |
| MD5 | FDC02F02A081E8EF170550791DC1A0F6 |
| 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 | 1C02DEA408D5351E88FCE26406204456AD6C0BB3 |
| SHA-256 | CDC14B24F0D0F260B68AE359915BD56F8FF782D4AF85B97AA7BE2CCE4DE18A85 |
| 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/lexerhack.cmx |
| FileSize | 1531 |
| MD5 | 0C9A302B769267DADCB705A4AB18D2C8 |
| SHA-1 | 001B346BA5225E534565B506C681B8A44AB65D09 |
| SHA-256 | C78DC56F2959603F4633182D1EE30A4E7A8F90467422E5B2241C4F07E9E7BDED |
| SSDEEP | 24:MTpueMnYUXT6ozfpQNr7YQcM+/EK47CnO7PkFmda60LmEsU5FeJ9r6uI9IeNvLPQ:WpijjZ+x0YxAmsR60LPZFy9OXIEs |
| TLSH | T15931D714670CED3D89E6F54B88098CB2ECA252E713EBC4A12D661981CD3DCE5A123711 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/unmarshal_z.o |
| FileSize | 4680 |
| MD5 | 0DB8552E10732ED64FF124AE943A64B4 |
| SHA-1 | 011245943427EAAAF652E4005D605B9C0B66AE04 |
| SHA-256 | 72770D659D68D8CE6F3B697507A254A39697D41F5073F4544EF1D61852EC0A8E |
| SSDEEP | 48:AlE+y17qZtgAmQEWoEaqo4YtTg3Psafs3XMNq/tLtg:PdO9Yq0c+dg |
| TLSH | T15FA1F08B478F4D6DC9BC963048D503207B78EA196E824F0B4B04F12AAE533FC6E2569C |
| 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/qstack.cmx |
| FileSize | 1396 |
| MD5 | D860CAD8FF6AC95AF81DE5D86D33AA3B |
| SHA-1 | 01F82AB04C5AB3F796F1376B444BF929161B1660 |
| SHA-256 | C2136126EAE765E1D2238064E7E36C3F16ECC44EF560A48F6406559B8FAA3C8A |
| SSDEEP | 24:MCAaVvkzLhxRwRiQaR5RunlIR3IYRoZVIpRoDrUuv2RoPAR3R6cRe9RrRdZVj/R4:JAahW1xiUbknlIxIYEmMUa2uABQcM9tS |
| TLSH | T12221DFAA935E3C078775C1F8299A397849EF94893BE07CE61EB80F2D64CD940D35E264 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/hptset.o |
| FileSize | 34784 |
| MD5 | C67975371BAA22ACF1951A8ACF7F0035 |
| SHA-1 | 022F18B027185A886A225263F0268EDCD8E64046 |
| SHA-256 | 1DDA339437491BC85F3919FD6F76097A261E5952D19D6701120D3DA593BC6E42 |
| SSDEEP | 384:gScc1OZIftzjV8wDw8sm4zb3TgghCrMtmHAWZf1yCMWa3Divi:Kc13lCF3C9yCla3L |
| TLSH | T179F2F0EE4F8CBD9EC2BD89B445951A3B32F6D04D3782B31749246D2426A73DC8D5E3A0 |
| 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/config.cmo |
| FileSize | 10591 |
| MD5 | CEEF3D6C1BB8DB8E02E441742BD35044 |
| SHA-1 | 0380DF199DC259D5101AF8FF974D675C9E84B4DC |
| SHA-256 | 69B47160B9B8FAA6E2431D834EED876C371D030857C7CE3586C4F811B15D8F8C |
| SSDEEP | 192:BN5awAYmrXDT7aRwx05UzUCwcqIQ1Druf86y/+K669mT:IwmXXYwrzxwca1DX/4T |
| TLSH | T1CA22B70FEF2A4530FA9A31BEFDF5AC09462461B5A4CFDF6B00180A2418E31A5B75538F |