| Key | Value |
|---|---|
| FileSize | 17051334 |
| MD5 | 173F2D7A491A1D0F627D0E5224A1C8D4 |
| 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 | 5E13738D28CC649B7C5C1501D910C73E1CBD8D79 |
| SHA-256 | B2970C258D0E934E6F6A2891A32E7C9DDC5D61B9F287859B06B793243BCD8670 |
| hashlookup:children-total | 900 |
| hashlookup:trust | 50 |
The searched file hash includes 900 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/project_skeleton.o |
| FileSize | 5364 |
| MD5 | EF53A79EDF5F0B8659253C76AF8E079C |
| SHA-1 | 002EAC564AED9002C3F090F2B6D9CCD3E231E239 |
| SHA-256 | 16B079975ADC0904F16F5CD9177D25F388D84604028416227B2B02EFA8AA9466 |
| SSDEEP | 96:P+tSZyg44+oANcnBYafV7PAxetXg3a1p1p13Qdw9uuh:Wtkt44+GnBJPAxetXgqRpUm |
| TLSH | T1CFB10F0A47A8CEBFE183C670D15A9B376677D25F2F61A3230518BC20246228D69D77FD |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Constant_Propagation.cmx |
| FileSize | 3730 |
| MD5 | 6E91C58AD2EB47A6CBF2093E8C2D6069 |
| SHA-1 | 00C9941428E2EF63E77F384322BA61DB7F278702 |
| SHA-256 | B73612C59C9A65F68C809DBC24A97AD58F9613369C6645B82A2B6FE47D11C58D |
| SSDEEP | 96:ibIIIzq7DK63LFFhgUtjYmZG/UACSdskIhEvG:gI9eGy5tjYmEUum3evG |
| TLSH | T19C712A4E3784FE2A29F680415F5E484299B2655428AFC29483BC26B044BFC95D33F354 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Users.cmo |
| FileSize | 76985 |
| MD5 | E899A0E91F52FE42C98566D02657CC80 |
| SHA-1 | 010ADEC9D499FAE3472BE28E8E5CAF5C65CC0A16 |
| SHA-256 | 8E72DCE5506B11C7CD0C80551C649629484C46FCA733A4720C3DFB6FB7D95A6C |
| SSDEEP | 1536:EN6SWTXi234wDQUQPhiRInV5jc6nZvqwXP1YBtGdpA:EN6PTewDQUQZKIncKwKdyYdq |
| TLSH | T1D873638C5529F470C08E1ABDD4F668672E608A7F58B79D3740580AB2F7BB40F8713A87 |
| 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/lib/frama-c/mergecil.cmx |
| FileSize | 9381 |
| MD5 | 165CEF8B8FDFB9B12B1D7316E1229119 |
| SHA-1 | 011B1F1B88611F51317034B2F4DE25E32E64ACC4 |
| SHA-256 | 93102300F75643C62D9693A36F99B50FEED52B4374D2EC3FF65B79DAA55C951A |
| SSDEEP | 192:GaOzl7RzJk6xvlDIDHYW9tk0cJY6xvlDIDHYW9tO80PIEjpmrGPqrSKoyaYs0m7:GaORxq6xvlyHY4+Y6xvlyHY4YxwEjpmU |
| TLSH | T14E12F2CA8750B4BBE56641BF29D2B96804E7CC066F5DD977493C2E5840ACA40F32C7BC |
| 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/lib/frama-c/oneret.cmx |
| FileSize | 1850 |
| MD5 | EA9525B54AA2EB9CB5F3C8F929186350 |
| SHA-1 | 01D7495F6EA9EAEED2A07DB9533D6F4D04E0FBA8 |
| SHA-256 | 5AC16965C2ABB1DB2C436E98350FC5D51E450ED661A34D04178D1F2B27C15C2D |
| SSDEEP | 24:XPzBc6KClEDP66I3oorBnZvLEATeGhz1hN7HhG/jAkqSt8zASXodi24zJBp6wB6R:XPQhDPY3oozLEKPf0p/teWniPY5lmj2F |
| TLSH | T13131B58D7764D87AACFAA4A30627467B8CB22A567872C0F047E8152884BEC54F33D334 |
| 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/precise_locs.cmx |
| FileSize | 3359 |
| MD5 | F43F452902B4B72D374896AE382436BC |
| SHA-1 | 02B30988DCEAED36F7AB03C5B9184B2BAC4E705F |
| SHA-256 | 6730A3585A0AD1689833A64C8EEE0459E0ED75C2D2923F8342CDF369B86B459A |
| SSDEEP | 48:Sao3oouKEqJR5I27fo8759Sy7mvR9uMWf5vAvwlPVeEjwXsEZV4zqxvW4mF3A2ui:SayodK9T9qHWRooHCcmZxa5AA6Tg |
| TLSH | T19D6100A90F55F44310B8B0AEBF6929EBD0B78C0D3E33DEC1B57C8DA04C99045811AB2D |