| Key | Value |
|---|---|
| FileSize | 22558698 |
| MD5 | 534BB9B1D3D2CEB5813B04B16FF9A93E |
| 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 | 20170501+phosphorus+dfsg-2 |
| SHA-1 | 124C0CA196A3555085B14B14AA74C388468567EF |
| SHA-256 | 09C8B0672E74A9C790D3E0ECC76BEE48FD780584D738D97C5D209BC7DC6A3FE6 |
| hashlookup:children-total | 1036 |
| hashlookup:trust | 50 |
The searched file hash includes 1036 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil_types.cmi |
| FileSize | 26893 |
| MD5 | E0E451DFDCF891E8FAD8FFFD68157B1D |
| SHA-1 | 00DD6CAF860B93EC13BC6DEE2D5943F8FF1AF701 |
| SHA-256 | 14E9443C498417154ADD7E4D9CED787E7F91BBE49ADEE3C1136A16BC85E88AEB |
| SSDEEP | 384:0LgP9hzSrbZdEjoqeu5OhtqI9HoXtbCzQB6XggaWFomckp4Z6:0LgP9hzEeKu5Qr9HwbMQEXi0om26 |
| TLSH | T1BDC2DB6C8166F4B299CE6EAEC91E6CAF1700887F024ADCB322511D57B2CF11E4F53697 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/sys/stat.h |
| FileSize | 2096 |
| MD5 | 01F6F828EBCC09AA977483E8156F1153 |
| SHA-1 | 012D3FB0FE5031D6B34D34830AA71449B006BDB4 |
| SHA-256 | 41C6D5F4E1678E05985557E4C751F21A9E0F007A3C70543A6FE464C2060A13A4 |
| SSDEEP | 48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a9YuHcVTs:bC9uDi90/b9CbKw4U9Ml5a9YuH2Y |
| TLSH | T12F41980410B8EF7B899082D62349C0F9C027E5977A64AC94316EB37F574FDD222A8758 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/rangemap.cmi |
| FileSize | 13420 |
| MD5 | 44CF452059E484A2533B8B1DF60C42E1 |
| SHA-1 | 01462FBB950B6FBD78F7FC6065425F5079030949 |
| SHA-256 | 36EDC32ABF93C2DC9BC048A0E969F81BA53ED045B2AFF6987CE0EAE67A5CFD2E |
| SSDEEP | 384:YgQvXUv0VYD6doG7CPAr9WhUlUogNfh0XSqxk6:YgXvwYOuFPbhDo0J0X5k6 |
| TLSH | T1695247AD9466F4B506DE98AFD10FC88F57084B3F84371C73122907A262AF41E9F1E667 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/qstack.o |
| FileSize | 17520 |
| MD5 | 2504113E23056961CA96B18C6229A57F |
| SHA-1 | 017C9C5F659AEC72C0FE5D1D21973BFE0F4475A3 |
| SHA-256 | 61F2EBD4F67864FA2DCF448E22A4F392A43F4ABF666B73BBB0C756F748AFE3C4 |
| SSDEEP | 192:L0gp2Ng/HzhBJiLQE8h4uTx1Vl/rpmRBxh/PqjgXOZnblbAWa6AcrlGg72Dzd:L0gp2G/zzcLQ/3hmRBr3mnbpW6Akv0 |
| TLSH | T1F972630A49CCDE5FC4AA0B7900D71B1532BAC085BB87BBC7464AB16CB94B3C41EDE649 |
| 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/kernel.cmi |
| FileSize | 17156 |
| MD5 | AB3B6C5AD67816E54D7E380613CBF5A2 |
| SHA-1 | 0209678CA4773EB6B16429617900B74DD9977095 |
| SHA-256 | 50445C9FDE6E84DD9D48FE61DAEA059C9144C0B9E732839CAAD77DDC18814A37 |
| SSDEEP | 384:g+ISqNRTdadcRU57cSsaXjZKqQ28VNnOFXPDOJ0R2TtJduYCZmd4k6:g+ISqNiSA7cVEglXirRm1d/6 |
| TLSH | T1F6729B6D4611F8F80A9F8C9DD00EC49F223852BFA87A0E7313BD41A1966F89DDF15687 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil_const.cmo |
| FileSize | 11428 |
| MD5 | AA8A8F81643D59F64DC9C1123EAE1E14 |
| SHA-1 | 025290E8CA9762C4595D9FF2FC2AB5A8A8E3E787 |
| SHA-256 | 53DACD6D4CAFE2C939BE7292DC9581ABB9102C0BFB337F775BB7339B294545AC |
| SSDEEP | 192:JV3tQT2FhnJwKrDMaAdYTu1scr0OncuQVwFclnngwLS20qmde2UNpY:JFqqn+MMaKAD20OncIclnrLnZmdEbY |
| TLSH | T16232E70D573DFA32E89A887EDCCA9EC61114C97FA1934E37224C036464E291DB71AB5F |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dynamic.cmo |
| FileSize | 75210 |
| MD5 | BCCCE7B6E9E60DE26C1FE418AD6CE414 |
| SHA-1 | 030F0738E0B228D4F68CBA87A30435D5A78E94CE |
| SHA-256 | CFD1D25DB4A9714BE6835A50D293E533B0E9D3C3D49D1C49A4F417200C71ADDD |
| SSDEEP | 1536:yXte7DlMEAFCYcYAk/lNefmsdr4iILq/bCgrCL:YgDlnYcY9/qfmQ4mk |
| TLSH | T16773E60EA625F221D88508BEC8E5DACB53045A7F78334E3710581B14D8E5B4F6F5ABEB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/typed_parameter.cmx |
| FileSize | 1592 |
| MD5 | AA12A94504C442F0E72B0CFACD22D680 |
| SHA-1 | 03175E6C6C1463DA9946638A687E54504F271FD9 |
| SHA-256 | E6F1120639419F0B1177E2D51BE32CD24FA2CF6B481C38EA3739A8577ADC6869 |
| SSDEEP | 48:BW8ox/29O1Kz/GXzh8SL90akubv8oNnSQCKp3nh8aRd:BWF120kDEtr2akuL8oNSQCU3hd |
| TLSH | T1D931D702F38F976205E4E57E29668429C400E7CD3269E1F002661F68C8FEC92F267B48 |