| Key | Value |
|---|---|
| FileSize | 23073376 |
| MD5 | B9E8A3D5E1F19C7F2196C3C51753DCE4 |
| 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 | BC46A82940ECAB377260E08BAC86127A58424886 |
| SHA-256 | CD0663D99728B9C691468C2A9ACE97EC8EC4E4C498904ECB61EF32E2AE82F7A7 |
| 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/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/alpha.cmo |
| FileSize | 21538 |
| MD5 | 54DBCBA023CB52C72149BD99720E725E |
| SHA-1 | 00A65ADEA2D04991D97FAED5BDF236A85586DD0D |
| SHA-256 | F528B62587CBED051D829F40CEB2C145A1BD7755BBFCF7BCBE7507795D2E0BE3 |
| SSDEEP | 384:HXc+ZU+UQXPgX0r2ydGqq+dGRH0Lysjda9rZND66Pw3+icguST38i/Oq:JCydGzULjoXx66Pw3+zgRr8jq |
| TLSH | T131A2D60EEF60FAB1C6A924FACCF8DD8A1220597E29135D674049072DE4C375EAF11B5B |
| 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/binary_cache.cmo |
| FileSize | 54681 |
| MD5 | 0FBEBFA755A53D20DB1D33EFCD5D5944 |
| SHA-1 | 0216FAFA5215230C6DEADEF5D7D7CB797C3719FC |
| SHA-256 | 8C600A1626D11C8E3D9F56702D341D27606D9383C1BCEE783AE36B13AD7E4BA0 |
| SSDEEP | 1536:SneS7eOJlbvqd2yW9NQWzRx1z+0SKUjdDKe:abQ2y0pO/ |
| TLSH | T1CA33C40EFB74EA22C84D1CBDCCE9DEDA02145C6F76276C6B1058072895D172E2F85E5B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Metrics.cmxs |
| FileSize | 483656 |
| MD5 | 68530B6C72BC0C52C3FDB191D7E31F60 |
| SHA-1 | 0240BE2A51CD2D04EB308DA921808B70A4632C91 |
| SHA-256 | D384B2255104C7958195749A0433DF374F1C65A32951794A9A378B37A3FC85F5 |
| SSDEEP | 6144:fMaG7s/MAZy15hxMSfxZGa6V53DoQDq99wcexLriaxZzZ:Ut7gQ15hxMSfxZGa6V53bfccLrR |
| TLSH | T147A493FEFE4A2F9BCE248D704D9A3A70725E584A6D2DF3034252912B7B472894F4BC54 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/abstract_interp.cmx |
| FileSize | 12150 |
| MD5 | 1774DB8141E728196BF5C35689542011 |
| SHA-1 | 024753C949F1AF60547F699D62569A5D31B29AF2 |
| SHA-256 | C90FA5B335FF5CB626CCD5E7870CE0E32D864E7E3DEE1910E04E91FB95136358 |
| SSDEEP | 192:EXKrA7KOJDfxX4rWpiDgaMe/e5b8RJ5U4Fd7ELD01dyz62JBb4tztTooy4:E6MfCyiDgazeh8R7td7Ecuznb4q4 |
| TLSH | T154424053D76BDAE7E49E613CCAD94E6C8C35D0400DF8E46242560B7E16E28C6E13FB16 |
| 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/dataflow.cmo |
| FileSize | 76295 |
| MD5 | 8C12B68EE2FDAB6D16F76A735E33F181 |
| SHA-1 | 02EC29AF402A226847349B5CE6C1CEFB4C4EDB5D |
| SHA-256 | 75C282B45B1D24AAE6BB3F2478CE21B0B622E7C9B53B1A4F7C0EDF766E248DDC |
| SSDEEP | 1536:LDUeFbPy22l99C9cYszsxyWdgWDcMpfPKHR6A0S6ejl3:LDnZOzE9cYsYxVVhPBveV |
| TLSH | T1D873C40EBAA90970C445487D88F5DA4BD318AD7C75F31EF75048032459CE72EAB26FA7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/fval.o |
| FileSize | 213056 |
| MD5 | 82575E4F63CB46CE13E226CE34F8B69A |
| SHA-1 | 02FA730857493BAA2BF45D7042A71424BA710998 |
| SHA-256 | 432D475ED3554640C3D324B3DFE65985704B8B3CED921240C03E541990D4C4C7 |
| SSDEEP | 1536:OIhJSYXGoEDe0QK1C0+lvyD898ltMLVvR8SUyRw5oEwM7XY:OIhJS7UK1C0EvyD8+KLV58A |
| TLSH | T1F9243047DD8679DFC34683354AE60F627375A5852E238733EF6DA1622DE23488F87A04 |
| 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 |