| Key | Value |
|---|---|
| FileSize | 22197096 |
| MD5 | E7A40EB0DEE7A14F7CF88617228E647E |
| PackageDescription | Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . 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 | 20171101+sulfur+dfsg-2build2 |
| SHA-1 | 30BF7DD1388C86D0C3A6BF362A0DABD555AC5B72 |
| SHA-256 | 91FBDFD1E1AABA538FEF91518D5D0F2FF15A5762C3EB8FCDB8B19684F1004434 |
| hashlookup:children-total | 1043 |
| hashlookup:trust | 50 |
The searched file hash includes 1043 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/db.cmi |
| FileSize | 54832 |
| MD5 | 8CA22019522AC8C826ED9A6C10C68012 |
| SHA-1 | 001213F592C3332BD6032C88854FD019AF02C2CE |
| SHA-256 | 0ED6DD03B89F56A6E29BC3F9435944C73E357A4141EB22B6DE3E5B8269970781 |
| SSDEEP | 768:N6gm7BAopEe/XwN/tGGxM990msAlcsaJHz4PiKO3Lq17HVkR3JHfc8CEYr:N6gm7CoWaXMtG4C6btH3LrR3+8w |
| TLSH | T13233009C6818F4E8058DAC1ED41BD51BAA848F7F1C366D37C41896E06CAD52E8B4FBC7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/math.h |
| FileSize | 13859 |
| MD5 | B370AEA2044AF49CA608319DD408F37D |
| SHA-1 | 006D224DA87C95898B0BC3EEA8F6486FF1F4DF25 |
| SHA-256 | 3B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1 |
| SSDEEP | 192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21 |
| TLSH | T1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Qed.o |
| FileSize | 1399712 |
| MD5 | 036148DF9AB2991E927AB3D5EE245EFF |
| SHA-1 | 00C9E8A7DB125BB7994015344F8A9CEFCF570E85 |
| SHA-256 | 9B796ED0ACC65868B5021C9CB630F72317B594B74F65AEED229BA70E6A8C4381 |
| SSDEEP | 6144:svRMfE+fv1abH+9c6qwVkjTGYPRSOBMaK6eU/rCx+/PsD7wH6ErrEeFpchSPXwMv:s1EkRKjaV8GdeDW0jVCiPbbqxb |
| TLSH | T151552107AA5B8E6ED569873947A34630B375FD24BF237B035360726E0E73E486E69310 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/json.cmo |
| FileSize | 47071 |
| MD5 | 588DC4A6BA106D35883D052973FF6D14 |
| SHA-1 | 014CC6F39654F80FF6AAFD0F64E36EF49D9FA103 |
| SHA-256 | EB6FA1EBD5201317C6B4C0264ED3393E4A948245CCDA2CAD349A19A1FD8C25CE |
| SSDEEP | 768:cHfj9RjIwPah8zI3rDoD0fJ6e5Ig8XNYaG1ThmpQDTif0Hloldjn9P2w2qe7DwZK:cHfj9RIG+8zI3gD0R6e1kG1Thmpjmqdg |
| TLSH | T13223C70EBB20E912CD441CB9CCFDCADA42149D3E75231E6B1089372E99F271E6F45B5A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/int_Intervals_sig.cmi |
| FileSize | 4553 |
| MD5 | 278ABAC925DFFE9F9BC42572F3EF35C4 |
| SHA-1 | 018CE9117379180DCA34E3A2D0C513C35FCD5B22 |
| SHA-256 | BD4FC8C54BFFCCBD98DE6D661850683A55C7BB10FE1AE4BB7C1321052F63E026 |
| SSDEEP | 96:DnXDeIMQ//yxKzuudN7zVlsnYwJnwtA51yRbJEMTh8AKgjL:rXaIMQ//yxKPN7z/snYwJnwtYoEm8A7/ |
| TLSH | T1249142DDD1A8F06867CDA87DD14BE887540C5BBEC9771C77622C029148AE54EC32F58B |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/why3/Vset.v |
| FileSize | 5182 |
| MD5 | F91819316715999F63FB12A38E7DC12B |
| SHA-1 | 01AEAE830AD465F071C54A66F32454B5A3F69C8B |
| SHA-256 | DDBFB6AC5C2BBC1F44E80B4F512043239F31306285FFBBABCF84154932437193 |
| SSDEEP | 96:elYkZ9sF+8rOaHCizrgXrhJyvxekZLasTS8t/Hr86yGpM:Vkzin1i4rgXrhJNkoWyGpM |
| TLSH | T1CDB1B0052CBB1F852E0B57FE4DD248C2A11A895160B8B00CF78F765D4BAE3A17EBB580 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/bitvector.o |
| FileSize | 44624 |
| MD5 | 90CBE19A3BB266444B386F6A723E5ED9 |
| SHA-1 | 01DAD54812AE61D32E9204682C4F897ECBAA5765 |
| SHA-256 | 178451A4F92C57137A2A7F219A770EB20BDACB4C7EF96C64E054FD27820E0355 |
| SSDEEP | 768:ou4XfPtgNwzbTgAjxBCXCB4MiZ6xvjL/9:ovfPtgNwzbTgAlBCZZCP9 |
| TLSH | T19F131F57B787CD3FDB5686B054A667607276ECC1AF663B073210331E0F32E8A8E64625 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/annotations.cmi |
| FileSize | 15025 |
| MD5 | 072FBF5450836D2A74CF3CD3379A06EB |
| SHA-1 | 01EC1F2B6F63DC5879E44D9F17A6B49953FD92DF |
| SHA-256 | 80373186FA421AFB1152C4B2C18B154145767A88CFC94E7F607D18A6020FA215 |
| SSDEEP | 384:+JeUQcCKapgqxBu9aEH9XQRZ459AMbHvDy7RF7LpWiw3soUJqFS3VBAEfBmIbYTr:+mQ4g5LcGy3RKQuAFY |
| TLSH | T17E62158C8844F4FA22DA94EEE10EA45F6304137F5CBA5E73011C0AB195AF54DDF19AD7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/oneret.cmx |
| FileSize | 1947 |
| MD5 | C0CE11E422B696F2E98A9F04B340FE1C |
| SHA-1 | 0271963A5BA6A35D95CDA3E90A5430DDB0FBF4EB |
| SHA-256 | 4583E8CDAC9669E2B93BBBBA37118F721F5889F86861E399E310B80E41386DC6 |
| SSDEEP | 48:cB1Glapqvb7+/sfEoUGAwvgvEJSjVbYoP1lRCgGK+:c+SObksMTGAwvgvEJ6bJNlQtf |
| TLSH | T15A41C82C1308F8B0E6FFF0A3149E0E67D895A579663AC4B0C62916C954FCE45B37622F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/printer.cmo |
| FileSize | 255629 |
| MD5 | 297B1B92BF5A40596F5B022BD35F38CC |
| SHA-1 | 028AA818ABA4D3277EB1B27FFD8470CEB97D4218 |
| SHA-256 | 52DFF672736CB9485843DEB15971B5B66259E1045D931F72D3D858DB7C324F66 |
| SSDEEP | 6144:kTswZPfEOBi5gTTrYDDYhAtLoaGFRZlZVC:kTswfi5gT/YDMhAtLoJF7HVC |
| TLSH | T19F44B30D569094B4E04250BD84B386A3F350A77E9EFB5CF7411E86A8E98D90E974CF8F |