| Key | Value |
|---|---|
| FileSize | 18095038 |
| MD5 | C46B546F86BF313E9F61D93572BA9F92 |
| 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 | D2429328690A6A01D928AD5760B7DB62BFC66A20 |
| SHA-256 | 6CDE071B8197091752D16B58CFFA529F46E03BDBFD627A6200524A09D4A871E9 |
| 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/slicingTypes.o |
| FileSize | 19424 |
| MD5 | 7BC482629C16E1125718E0117FFE2242 |
| SHA-1 | 0123D5D50165BD36A7B5023A74DB3FF39222A235 |
| SHA-256 | CC84F730387F49F625016908227312E9ECCB11B8D086590D52F2828096A9AA95 |
| SSDEEP | 384:OnCpcZu0WLDofOJhOqBbKAR8binTAnM2Hd35a5:YXJ/OWAR8unGMkpW |
| TLSH | T17E926CAD67E86E1FEA75D5F1C5523B2C11B2C0097AD2B303F934FE141A2D24C8689B75 |
| 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/plugins/Wp.cma |
| FileSize | 7078248 |
| MD5 | B7A4CC0F9CECA28427925D39806F6402 |
| SHA-1 | 01437A590E2B1832B926BEBB8AF48599BE16BE84 |
| SHA-256 | F1C0749E4F75AA39DE0C9C7D2B55F90B36B6FE5A70831772A7A949EAFA9628E5 |
| SSDEEP | 49152:pW11Lfxu/HMVLl7XziDQSrE/81ygUBuAOfhbUQfcB/oJDMWtY/XggGdsPadIJS76:Aivvx/wqI02kQhd |
| TLSH | T1FA66E80EB464D570C8990EBED8F54A8BD310893DAAD36FF7010C066557DE79E7B08A8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/translate_lightweight.cmx |
| FileSize | 2704 |
| MD5 | CD810703012EA0453C6E3AAFA998083A |
| SHA-1 | 0156EFDD24399F1743D341D91C547D0616F7B0B4 |
| SHA-256 | BB11536055D45FE0056D90D3BA54F904C6D4EC564C2F3863890747253F58EB67 |
| SSDEEP | 48:hZJlH5pvjjZTxP6OQQxAmsR9LPuhFygqE2yVubaK5b0GV3q:3rH5pv3P6O1xjS9LCqE2BOK5VU |
| TLSH | T1C051E919030CFC5DD9EAB86FDA7B8C81DC51819B12BAC5912A190D278CE9CDDA36F313 |
| 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/lmap_bitwise.cmx |
| FileSize | 5194 |
| MD5 | CF5424517ABB2FAD7701BC7B8A0D0F56 |
| SHA-1 | 0216A092E44E64E89F0252AE5B3C665E4A5F55CF |
| SHA-256 | 5649F7C90A2C5FE96EC16E9906F7A264516491BAEDD9B29E9CEF675015A218FA |
| SSDEEP | 96:EowP+kAfzxjSUc0LkEZWx0Lh0Oz4mS9Iu8eoVd2fvwVSERgbW3OUcU8++:EznAtj7XLkx0OO8mS9Iur4sfvwcERgbR |
| TLSH | T145B10F4D1F0ABC2300F6E2ED59296CEA59F3C00A3B52EDA59D3C0E426C5C8A1D75F369 |
| 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/slicingInternals.cmi |
| FileSize | 6176 |
| MD5 | 61D3A0D7141B77B6D6E7C88EBDD6A3D2 |
| SHA-1 | 03C6F039DD045A62A5F0C9F7801852BD589A8A51 |
| SHA-256 | 245B0AC60DE7557256F9CE2A551A98E2BC691478BC10AD38A9C63420C2AEB58F |
| SSDEEP | 192:CbtnCkShvYJCecpJxNCQQ8j6FXq2nf1gjAXLfIm:wBOYUecprNJ6VnWEkm |
| TLSH | T11BD1B3CD863A45AD10EEB8BD9611AC0B6A1093FD0957DD7380210496BDEF0AE93333CB |