| Key | Value |
|---|---|
| FileSize | 21999852 |
| MD5 | CE6624057CA7AD0C3115BE3D147A9BE0 |
| 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-2build1 |
| SHA-1 | 27B2C67538BB9F12C1684E3556D699361589E177 |
| SHA-256 | CF92A590DCCF0196FD50B29ED43F861B52B2737D4192EF84D9780FA576C00E2A |
| 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_state_builder.cmx |
| FileSize | 4256 |
| MD5 | 1AC849E2C7C7342055A76E3D86157662 |
| SHA-1 | 001979B2D35C379910DAFF3E6A5651C71F4299D0 |
| SHA-256 | C89897D6ECB3BBF06993515464857F132EDE5D61A4D0693626FA2C1688287C9C |
| SSDEEP | 48:5GmfbOItfEoUGAKgZEYdskYI19NV9OGVuJoavQEGDzhdi1NwfGlhh2/pCTDf92De:IKb5MTGAKgL+MXNV9aKDddivFhc/i9z |
| TLSH | T1B0913023CF099523EDCEF1F719AE0FC4CC33849927B58A35661C2305AA97A51423BB5E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cfg.cmo |
| FileSize | 193465 |
| MD5 | 5F6948B0AD126D38E8FF809301D458A0 |
| SHA-1 | 004B70E1467D760F7CBAF5CDFED21F04954F2210 |
| SHA-256 | 43A3F584E826A3553B1485891BD9708BD41819D6B36EFA439679EA4CA64E939B |
| SSDEEP | 3072:P/Z3ifO/1/Bhbk3BjPY+0Xm3MGtoMV+mmFLoAUxGaTaLANamQnGV8QSJekI:P/Z3iGNJRk3FKOftoMQmwoUaTd6n28QV |
| TLSH | T187142C0D168084F4C4460B7D88B68B77F3148A7CBDE31EF3055E87A8958D65EAB18F9B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/translate_lightweight.cmx |
| FileSize | 2751 |
| MD5 | 4E8D6CEAB93929777A498050A66C6677 |
| SHA-1 | 0057C1B7309F6846BF3FE1D6D85467CE8AB346AD |
| SHA-256 | 9561538EE7DA0825D994419630B7416BCF33F624E62106219539636E5404E6D8 |
| SSDEEP | 48:W8JjrCCGms1bZ7w8pRICtfEoUCLjh+yAgZZ+PFEor8HPrU0nbhQVW2jL8:ll69bVw8fIkMTKh+xgudERx |
| TLSH | T18751082E660CF900A6DEA0A356A74596DCA5D828863DE8A5231D019D0CEBC4DF33E25B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/printer.o |
| FileSize | 65568 |
| MD5 | 1B734C845F98B8E31DD3FCEC151ED773 |
| SHA-1 | 00BB5F92CC4D135064DAED024D2D5CCAE0DD7D14 |
| SHA-256 | 0837F00ECD45C209D7ECC49D288246A7D0321901BBFA5653A47546421A162ACE |
| SSDEEP | 768:LnlDjFANaFbo9LcMQz/mLjQHpkpafqx8:r8NaFsHj9SH |
| TLSH | T1D653FF8BA7DB5D3DC2588631C1A7436079B6FC14AEA177833232721B1FB3AE4AD1D214 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/pdgMarks.cmi |
| FileSize | 6786 |
| MD5 | 5A0C721106507724874B872796EAE641 |
| SHA-1 | 00D3186A09EC73D2B5BB4B91AC01BB1B7A168B04 |
| SHA-256 | 48A1F7641B73985677B471C70BB351674E669E3652F7BD050DE1EE5426C909A0 |
| SSDEEP | 192:IHFdAwqoxRJT6/9fnIt2SHX/cZhfjyKX/V1OtM1RAWIB:Fwq6RJT61fs+hnoM1xI |
| TLSH | T1AAE1A4CD9839A066268EA47DC03FFC7B5418463E467B8D3352481AD9C99C46FC34B29F |
| 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/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/Wp.cma |
| FileSize | 8095510 |
| MD5 | E23001D80027393C6F7753F6A70E4CD1 |
| SHA-1 | 01BCAA3CF644C16F5EE5346E8DB0721BCDB77767 |
| SHA-256 | 1311A748F0E1ACF50495C55D8EC2EAC350C36FE736C033BE3DF716169F8F7C66 |
| SSDEEP | 49152:khzPPCliY68NnwBnIJYqVurFU7+nClIGArGBnnIP3WRuAOolRqyElDgOhiBFK+83:+lftqcFOOjCiWZHR0MQn7 |
| TLSH | T1F386F80EB8548571C8880BBED8F64A8BC310993DBBA35EF7110C065596DE75EBB0DA4F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Obfuscator.cmxs |
| FileSize | 89896 |
| MD5 | 6E230D17553DB0097D5CECBD3FB1F5CD |
| SHA-1 | 01D192748E3354A9080E85D45DE998AD3DD58588 |
| SHA-256 | C4753B6FEC86E6834F7135551FA6F02D31C9360E16541D88D92D03085DA2D0B8 |
| SSDEEP | 1536:XlqpNFs3X4KvMHTcGpAOPQeN9AkYZ5CY5P8X:Xlqp7AvGpfPQeN9kZJ5P8X |
| TLSH | T1BF93D76BBC798F7FC138EA30846B8AF4A065B322AAD1170E521072191F9E5CF4B5F5D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/vector.o |
| FileSize | 17528 |
| MD5 | E5F8B72712D2C60F08207603E87F69FB |
| SHA-1 | 02ADE9D8A892F81AC1624198B3DD61AB81DBE5D5 |
| SHA-256 | A79785B4E172C67E6E14088E2A339C5EFC33B9563ED1C51FF1F1DEDF07325C3C |
| SSDEEP | 192:bhvpQkU7/XEGlTCVOg8XY8BZOlWitLA3hp8ywW/SHuDaQyf8hw:VhQkUgQeCXwlW+ChpLwWaHuuQyf8q |
| TLSH | T12072DD46BBD68D3FC54A863045BB5760F279ECCA7F5277032248722E1F32B886E69904 |