| Key | Value |
|---|---|
| FileSize | 18203290 |
| MD5 | D91A1ABBB07614B8ECDCE11B92D635D5 |
| 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-1build1 |
| SHA-1 | FBCB4681459A628BF860F284F48EC465D2E5FC3B |
| SHA-256 | E81E98F3D5A335F304F94A11B6FE0567341F02C279FB1D0DDFC89569E43FEA71 |
| 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/infer_annotations.o |
| FileSize | 19296 |
| MD5 | 90A40DF1C878C91FC3AB7EBD3DF43C9D |
| SHA-1 | 00A5094E86ED720E6EEDA5D1955FA37C10105A25 |
| SHA-256 | FA41E0E2D2B069DD2297F996939A6D635EDB6EAFC37FFE35E9A6DA562B0136E0 |
| SSDEEP | 192:zMQ9PkxMEAP8x0AvYPYCYQYWY4j0zFQl4IxSfX6ZAv2UaZA+OYjQ6s4lnVxdbsqt:IQKxvQ8xXA8yQwSgQ6s4lnhtMn2 |
| TLSH | T1E1823E9ADBCC4F3FC46E0A7148F70768B9F1D5A53FA1A70A5410BAA5280A354179FB0F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/exn_flow.cmx |
| FileSize | 6204 |
| MD5 | 1A2FF4C440BD28F37E95CEC6DF400B0B |
| SHA-1 | 00D72447F61B06ED8C09C69B953E1E6EE4477377 |
| SHA-256 | 572FD8111A4C5B64381773C8F9D95187CB6C6033C473225CD28D36917309ADA1 |
| SSDEEP | 96:6H5pisNOPOxjS9L1XQEKXkgcqZuA9Uk/cpKRkK+UXLSqY6Aev2ftvM:05QPUjMLxQVUgcqZuA9jkBKPS3wv2ft0 |
| TLSH | T161D1421573147C23C89BE4FF59291E66CDF3905F27F455B01A2C6E02AADEE00A1AF729 |
| 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/lib/frama-c/state_dependency_graph.o |
| FileSize | 11204 |
| MD5 | B7DA8D70E8A286E0C5484708F13E622D |
| SHA-1 | 01A878B4B7FFE7C904DD68B995E2DCB933ABC655 |
| SHA-256 | 33BA20A53D7795FD54A5AAE7907BA445F4BD360579E840E883A10B06D4D3D885 |
| SSDEEP | 192:foFgt/W9gjz5ZfWCyBC+pg+/aDFsDcQwYzikB:tQ9gjzTfWCzJqziC |
| TLSH | T14A32CA4DB7F4FF7FC83694F018DA1B3726F1D00BBB4A631796947C68A89AA89050C935 |
| 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/plugins/Pdg.cmo |
| FileSize | 453521 |
| MD5 | 04F1F26EA40B05CCC57F3CCDCA294A59 |
| SHA-1 | 01FC2637EF00FA88A96B9F6B7C1C6CF19F7EC868 |
| SHA-256 | 9C8755D6DDEB6D10DF9FFA8094C214F0028EB133C2208630467BA8CDF119DB3B |
| SSDEEP | 12288:Pdx89P+cNgkd+jIZb2m3SbpVaK2narMK9MPyMFgcG:Pdx89+ugTjIh2kS9AJaYUMPjFgcG |
| TLSH | T15EA4D64E7464E970C8981EBDD8F89B8B82218A3F59435FF3004C09295BDF75E6F15A8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dynamic.cmx |
| FileSize | 8102 |
| MD5 | A898A8D537E80DC23C8012678981FB8C |
| SHA-1 | 0213022283A2B725E21192712C0DD15642F90143 |
| SHA-256 | 8818D994065ED1BFDFC238D1E29DF734BE2370CD1EDCBDA8D4A13952B69799DE |
| SSDEEP | 192:zq9uXLfygHMhU9UGeHAXBpeSZYTVQh1INuJfuHhul8knVYbLSGEi1DkzlbBS:9DygsG9UGeHAXBptZcVA2NuJfuHhulZS |
| TLSH | T16AF176BF879960237475E2F414527938E8E6CC5D2BD421912DFC0F98603CE4CDAAE326 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/type.cmo |
| FileSize | 105987 |
| MD5 | 5C67A4A67B41345FAC0179FD420872E6 |
| SHA-1 | 024AB9462B2E5BC30F8CD6985380FBF25CD74F24 |
| SHA-256 | 238CA06DCFEAC138CB53818B4B06B356140EEEFC7A1DA3AE283F0A011D870F71 |
| SSDEEP | 1536:WV+sxkg9V4vssbPVrrONUK+czcXyGvDZ5ZfBAY4/MUp7nAub4YDzuaWtHI:2Vcf2RKyGVBAY4UUiuEYD4tHI |
| TLSH | T11FA3D40D7B68FA75C9981CBECCE5EE9B42149D7F750BAF3710180659A69332E1B00B4B |
| 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 |