| Key | Value |
|---|---|
| FileSize | 21411192 |
| MD5 | 4C1C20F84B42377B73DE27B00271D86F |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20171101+sulfur+dfsg-2 |
| SHA-1 | 8AFD8AFB316B717814A8679AFF4F52F4530F40F2 |
| SHA-256 | 177BD06AD52E03205C016DD110D4E9D363BFAE49DD40E79BDC5CFD6BD0A984AD |
| hashlookup:children-total | 1044 |
| hashlookup:trust | 50 |
The searched file hash includes 1044 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/allocates.cmx |
| FileSize | 1876 |
| MD5 | CD8A82762E30057ADFD5A49A1CB96B9E |
| SHA-1 | 003F4B57585E05262B7EE41A9E1F1F22FFF239A0 |
| SHA-256 | 9FA1E1645C0D3310D56FE764B2364C4F73B36C481CD874D6A45B38C2E13D20E0 |
| SSDEEP | 48:wo21G3fbw8yoJfEoU3AyAgCENCWF4elhINTnJnIB03V9n:woDPby+MT3AxgCENS8wRB |
| TLSH | T1A931D71C6788B46065EEB1E3A84B0839D4D1D3383F3FD461422F29905CEAE4DA6A961F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dataflow2.cmx |
| FileSize | 3637 |
| MD5 | D48AE69EFEEE67EACA0EE3C01569FF49 |
| SHA-1 | 00519D6CF16BEC16AA45709B6C1681489CAF6D68 |
| SHA-256 | 9F84D4332C04C5330C8D52454DB12347366C881C7F8D159E7F6CED11E8C1E5DA |
| SSDEEP | 96:j+Y5Ob5VWKMTGAKgECEtM0ImWtlA7PuTOxYOuG/z44/Au2tjW26uUJaCaDBuZ:sVWKrA7ECEtM0ImOj0 |
| TLSH | T14371C505AF0699129CFDF0F65E48C5A5C81EA6DE39BBCC3193EC071B7CE4D81B24521A |
| 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/map_lattice.cmo |
| FileSize | 226203 |
| MD5 | E72682BE8DE8B3D05FFE4329FF7A47B1 |
| SHA-1 | 00CC20F33BEDAF4970093BD5E9A1BF86E6310174 |
| SHA-256 | 05D2CCED4F12CF8EC77C08C4F47DB5674B7F9C43F22AA13518A804B7D966846B |
| SSDEEP | 3072:+w6pXeDwGO3vxzAWLhSRb2VbKAS5ZE1SAztgu4NaBqGMSG:+zpXeDwGIvxs6YCPZYaBqpl |
| TLSH | T135247E8D9660F5F1C28C9EBCD4E389C3D2284A3F69370D77102C4291A9AD5DF570EA6B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Print_api.cmxs |
| FileSize | 58296 |
| MD5 | 4E1FA9D9669D6452655E252E6BB7C34C |
| SHA-1 | 00D845C7A49DBCAFD239F4B26600AA7C214758B9 |
| SHA-256 | 5466B1D655E54222EFEB18EC0C231DE0963829A9AD75F0AD187C258ED14AC9B0 |
| SSDEEP | 768:fAa5A3HBBtseQjdNuwLh+DTvf1I18QBok3qv:Yaa3HJvkuwLh+Dc8Qh3q |
| TLSH | T1BD43D39B779DCD7EC2BA0A7094D74BB2B872CC122AF1A7573521361C2E726D49331AC1 |
| 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/tr_offset.o |
| FileSize | 10552 |
| MD5 | 464CFED0D9B87EA2846D1E06F57881B3 |
| SHA-1 | 012C4CDFF7C52040708B3997E4402962BE80E768 |
| SHA-256 | 21C206967191C9061F3289809EB8E26CC4B6870A6B42BCA534935254783A3DB9 |
| SSDEEP | 192:rlIXITkBdmYsLGDWdwOBE1Sk7vZoCpWX4dMZcU/cl:rmYwBsL8bOBE1Tz44dVUcl |
| TLSH | T1992211C6DBCFEDBFE029993844A613192270C80A6BA6F3074108B5372D523D81B62DE9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/lmap_bitwise.cmx |
| FileSize | 5295 |
| MD5 | C29998D347608C844120F95CBB318C95 |
| SHA-1 | 01730F80EC1B87CE60FA9EDBC6019B3116D3692F |
| SHA-256 | 401C266280394844150AA9DE2763D649C1F574A489BD08AA29321FEA41278E35 |
| SSDEEP | 96:3KRbEB8VMTh8Aw2gix6VMyV+dCb+EasV6GcABg+6lf0gh0YjDov4:3B8Vm8A+ixDyV+S+EasQGcABgBlf0ghX |
| TLSH | T15AB165261F07AC3384F9B67D6DA968C29531C4021BA2DDE1DB2C0B537C94CD6D77B289 |
| 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/plugins/top/Sparecode.cmo |
| FileSize | 369713 |
| MD5 | 5891DE075EDD682F2CA60166FA5603E5 |
| SHA-1 | 01B977C123CF1FF2AD5C357C8A57C73DC52FD9AA |
| SHA-256 | 21080A64A86C1856B82C407A2D3A2A51895E327CC470DF0E8CFAC6EE51E43891 |
| SSDEEP | 6144:WvcaV8Itmfnfzsrva9u8wHILR7DTmctS57aG6zO9RHccMxdZqtAtwr01XoaYEja6:WvcaV8ItmjsQL1DTmctS57H6zO97ntA9 |
| TLSH | T1B974294D6498E5F1C58A08BCD8F69A77F614867F8CB35CB3140C82A9A09E1DD8B0DBD7 |