| Key | Value |
|---|---|
| FileSize | 24075964 |
| MD5 | 63FE42191F27308742925D97E7743E7F |
| 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-2 |
| SHA-1 | 66A8839EB80A828883BF09CD41488F79DE7ED536 |
| SHA-256 | DEF2A5B7EB7771A7B5973C3A2D1F908D608567AC390882AF670E8375803ACCFD |
| 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/ordered_stmt.o |
| FileSize | 17888 |
| MD5 | 2D573929B6262BB37830A9420CD05DA8 |
| SHA-1 | 004E29EF7DFDB12465838E939887A527DF20FEC1 |
| SHA-256 | C826F0358959D3CC5110305BB865722D477EBC7B14D60B62DC222840EF9CD50F |
| SSDEEP | 96:1NgjrNv3YpK3IlLTD+6WFTWyFwyX0uz0CeBiKXAsYguNm9/O+CGdn1Sg6IEeA5:0fNtgrIdf/4CeBiKPI9+nhgp |
| TLSH | T104826E6AEFCDFEBDC2C54DB847A60738B339C069728A431B171C51352E833E44E46655 |
| 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/widen_type.cmx |
| FileSize | 2622 |
| MD5 | BB2DDA0527EACED8FF9646586ECB0EC0 |
| SHA-1 | 01283DE8CB2284C81E67DC719D4CA9E6C1919591 |
| SHA-256 | 2C51F1446C757540115275EEB4B1AC883BFCDA300BF3B016B998604A56974A54 |
| SSDEEP | 48:W6EOeC3hbEUVU9Hd5FfEoUh8AzRgmhXTryLQAdqXqZwoSbmHxyT4Qe12o5bqFjSh:5EyRbEBhVMTh8A1gmxnysAdpZwo9RFdL |
| TLSH | T11651092C6B02FD1188EFF21A6945051DE036944A0772C4BAD73614EA25FACAFC33334E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/frontc.cmo |
| FileSize | 8592 |
| MD5 | 0276023E2C2189BC8EA0AF95BD060C13 |
| SHA-1 | 0178611EDA41023DCB5DCF6610F196BA36570D20 |
| SHA-256 | DF9B4520C17DE7AD8DD4DBF0DC988588B53D272D1430835EE779567D844A0E61 |
| SSDEEP | 192:kEZBfhU5fQKjOGWY4ctNXl0FT/0tYb6/rcm/uuCoKnKvrAvV/n:kEbhUuHbBcDyFT/0tYbwQm/zC+vO1 |
| TLSH | T1FF02C40EEB20F531C89B60BFDCD9995A2310587E54678E3B00480B5654DA7BDFB31A9F |
| 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/lmap.cmi |
| FileSize | 35156 |
| MD5 | 025F58F33ADB9303FB7381EFB496C9F9 |
| SHA-1 | 0290A253B0D72D713BB42691CB9B8DCC871BB816 |
| SHA-256 | EC2420259897D20C05EA5B6E78EFDC72A1A7E04F594E71B657C652DB7339CE60 |
| SSDEEP | 768:gPadgQBg/1RCZVV17KyEV7zECxJG7D9gJwkwPq8jdT0LCpQdC0:SadbS/nsf1O/PVJG7wwk+njCupQj |
| TLSH | T138F2F05DBC68F0A502CED86FD00F848B569856BF24371C33991886E16DEFA4E8B1F593 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/property_status.o |
| FileSize | 229880 |
| MD5 | DC5F7BA628F19E452CD759A95782F492 |
| SHA-1 | 02919F3D590A3298A6A3C88B0E8481D9E708E437 |
| SHA-256 | 32D98BB6E89A6B1956887F0F1FEC6719E0EF8D650AA4B29EC2A0477D17488ADB |
| SSDEEP | 3072:ZSyl11nwKgj5b9hgmt6pucVTNkMwCaAE1j6zIc:8whwKgR9hNt6pumvxIc |
| TLSH | T1192453BE6F4DAE7ADAC60D354B592738FF69C9046DB383A76301120A07C63C1DC695A3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/property.o |
| FileSize | 154752 |
| MD5 | D9DFB6910D9A7CED156694358EBFF1B4 |
| SHA-1 | 02C632AE46B943098243F9D91B8C2DBD4704B658 |
| SHA-256 | 2B3D449AF74679A8F2010216B941B02121C717A47CD4D06F1F6409718F6080B4 |
| SSDEEP | 1536:AXF0ax3SfIYMt0G1iC0EGH2H4rrTI/ygo8L7C7vRz3:AGax3YHMt0GEU4rEo8 |
| TLSH | T132E3617D5F8CBD6BD3CA4C758B952764FB3CC508A6B243A7372223191BC23C1AD1A526 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/unicode.cmo |
| FileSize | 4667 |
| MD5 | 40AB51C3FA296BEAA3AA3AF3950179B6 |
| SHA-1 | 02D4C14EB3FF085E38CF5CAD4F1415A27374AF0B |
| SHA-256 | D080AAABAB3B702519C134BBF2EF8E326D73AF73CC859A429F4D5F7D3A70173D |
| SSDEEP | 96:W+jOojOOEjOOjdXGOyFVUH4I9j7OSSTXuTgLBarXEQNUq2fuVdsuruVeHF2F0i54:WF3ODBOUUH4KjySSSaBarXECH2fQdsNc |
| TLSH | T178A1A61DB734CE30DAABB0FA64DA650B80ACA86E553B8533441C0A5668CE71F8F543DE |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/why3/Cfloat.v |
| FileSize | 5698 |
| MD5 | 7A95B01D44D555F79FD5383ADFE9352B |
| SHA-1 | 02FAB039F7B2946FDF41A791C64BCFFF9DBCA084 |
| SHA-256 | B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55 |
| SSDEEP | 96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK |
| TLSH | T1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4 |