| Key | Value |
|---|---|
| FileSize | 22156392 |
| MD5 | 8BB9CD20697BB38A6BDA76608E8FFEDE |
| 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 | 12DE308087D830E281FB990A7D134E44CD3CFD7C |
| SHA-256 | 3CA3B9722DA55A5FB2BC80C8581BADD734F6BC284B08A5159D1280210A436A02 |
| 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/lmap_bitwise.cmx |
| FileSize | 5295 |
| MD5 | 3FAE7D396EE39C0D24B1BFC0B7C6EEAA |
| SHA-1 | 00000153FD01D47D47328853F5823C937E873FD2 |
| SHA-256 | 39A66BDE7CE589592A6FF9E25E0F0603E545D02C5168CA082835133C22D702DE |
| SSDEEP | 96:3cRbEB8VMTh8Aw2gix6VUG+dCb+EasV6GcABg+6lf0gh0YjDop:xB8Vm8A+ixrG+S+EasQGcABgBlf0gh09 |
| TLSH | T137B166366F07AC3380F9B67D6DAE68C19531C4021EA1DDE19A2C0B537C94CD6E77B289 |
| 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/property_status.cmo |
| FileSize | 251969 |
| MD5 | F59CE12C6866A4365EC83AB93E97F910 |
| SHA-1 | 0086F1D9AE147EF26099EFC897AC968002C45361 |
| SHA-256 | B67C58EAC60E17F4B5D87FF9D826349C3AFF56D92D774BDFC4645BA06BC33817 |
| SSDEEP | 3072:3bT8pM9LkMpdxmez5+shXT21B6UPkZsgkOjXVoLQWn2DMdn8A05+LN/4FKj0:rIpM9LkMHYoRhy1B0ZsgLjXVvWzBfZf0 |
| TLSH | T15534F74EA624F5B1C688997DD9F3A987C218097F66F34EFB000C039194DE71E5B0E6A7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/rangemap.cmo |
| FileSize | 92698 |
| MD5 | F9C0741B35A4B2A880DBF3E08880C877 |
| SHA-1 | 009DD3D933FCB09C415305C5C55C0471DB51D379 |
| SHA-256 | B10CB4ECACB507E383424E479840C0060047C8B99B46BD52ABC8EDEA25698EB1 |
| SSDEEP | 1536:pSCLhanxieqgCkyEjRStpPEswfP6GHdH2DZ54VQ8/7B3KbcZxgmf5p:pSCLhanlbUtB3w454VQsr |
| TLSH | T11793C68E6768FA72C8886DBDD8FACB9B42115C7FA8134D73208D0A19D4C171D6F09B87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/wto.cmx |
| FileSize | 652 |
| MD5 | 66AAB17D1A15E09C6BA644EEF919E358 |
| SHA-1 | 01165E2FAE3560549301A06097F57C3090A8D112 |
| SHA-256 | 5060A1D82FF4A703BD6C9849FCFF75DABD150EF434AF58960799704B1FEFDAC8 |
| SSDEEP | 12:eMjtcov4bzHVMSOm/h6SLfuXWkU2GWa6f4G3wwQxtHQpj4WJnG:ecv4bZrHRW9Bxf4G3wwQx1Q/G |
| TLSH | T191F023A2475DE70881D5F0703F671E1385859C623C7F10A3C3A40A56B89AEC53957349 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/kernel.o |
| FileSize | 87152 |
| MD5 | A109F6A4BF17EAD22F71CAC66F671349 |
| SHA-1 | 016D5BE46E62F4E18457C03BD77A4B2E0D4A8CA0 |
| SHA-256 | AE5DF1360E613D291BA8F801B68ADBD9AA9AC15D9C8E25B33DE2A7AB30F50E5A |
| SSDEEP | 1536:Bwr/S5diHxp9Amq154iM5Nb2IBLpIi5T4amkK:u/SbiHxp9Pdr5NbI+ |
| TLSH | T10583B40A67CD9F2EE16B417204C7C7337261C9463A42FB5B908D7252A94F2D2FE9A7D0 |
| 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/errorloc.o |
| FileSize | 24732 |
| MD5 | C56D3BD33BE54F16AA6D2E842ABC74B0 |
| SHA-1 | 02324CA423FF679DCFA237BE46DB06E69EDF5CD7 |
| SHA-256 | 46ADB685DA1668FC3B5C85FF95EEBCD42481B6FD1DECD98421C29B26D949A3F4 |
| SSDEEP | 768:sJ/rIHTilZPgoOA37GqyItYgBr1v1s7yRYXmffmcriXqpQnONPT8/ohCzn0d1svS:msulZP7OA37GqyItYgBr1v1s7yRYXmfl |
| TLSH | T10FB211868BCD5F2FE0AD3135C8D303563371E24D3B42A757E64D71AAB80A345AE9678C |
| 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/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 |