| Key | Value |
|---|---|
| FileSize | 18763660 |
| MD5 | C842143E895DCE23C3C5E257A585E897 |
| PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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 | 20151002+magnesium+dfsg-1build1 |
| SHA-1 | 9B9B98C8FD3E0A44E3BABB5D9754831993261178 |
| SHA-256 | 56A0A4C3AB90E6807C212EED9D0BFDA8F4DC0AEE98C2E710F81489A04A309337 |
| hashlookup:children-total | 949 |
| hashlookup:trust | 50 |
The searched file hash includes 949 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dataflow.cmx |
| FileSize | 2682 |
| MD5 | D4B8664DC71E3B5A6BBD87CB1678B501 |
| SHA-1 | 00302B49940021F3CD6C56EE35FCCC2255B545CC |
| SHA-256 | 0860CEB1FD176EB0E441C568EB7A7309763DF5DDDFF494A2F506071B4C755244 |
| SSDEEP | 48:hOg0pijjZ+x08xAmsR60LPZFyahOXqEknvnsp3pPfuzjvdbzmjUPmT3+hPVtGoda:Ig0pik08xjS60LDUXqEkPsFp3uzTdgUY |
| TLSH | T1B45173102B0B9C7298DDE49E2FD585A0DE1092D931EB8C715BE80F6188F8D41B26A714 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/frama-c.byte |
| FileSize | 4582560 |
| MD5 | E00512AD9043AD44D951D46CDB5F4682 |
| SHA-1 | 004C9EEC5F7AD1ED89F3091C0E9FBE7CA35EC0C9 |
| SHA-256 | 275EC589408E147DC4264C3BD9FCE98B062CC2D6D82418985D2F60F893CDFF9B |
| SSDEEP | 49152:FdpLsJ8+S7cuQWGBsVLAFnn5G2agAlI6MojXSE:FdpLsTLS |
| TLSH | T13026CE4AB7004FA1C1E547B2C99783D51365EA65EF03072F209CAA6C39D3F5F9B493A8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_interp.o |
| FileSize | 110720 |
| MD5 | BC364E7BBDABC68B4DE5E3D92825A8F1 |
| SHA-1 | 00513008385A796297E8E34C4520B8B5D1880694 |
| SHA-256 | F1507027DE4A89C2014050CB7811215C393ACA6C10BC9276260A50C44BAF050C |
| SSDEEP | 1536:Pqv0T3fRCFWvaaZ9u+eYgEmmyzQayxRbHA2t:PqcT3fReWvaa/kmyzT6RzA |
| TLSH | T1D2B31F0779A74D2FC594C73881F70630B139FCA4AF52B7832652331E1FB2E999E69624 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/coqwp/Memory.v |
| FileSize | 10160 |
| MD5 | 0A78E338EE4AE1375E39E605D8E908A9 |
| SHA-1 | 0137E6B573E045B897430A36D157BF721C95AEBF |
| SHA-256 | 6F1884736D15D4372B0B71CD2D38783919D5FB20613E0BCEA8A3199369DF457E |
| SSDEEP | 192:jkzinAO2CKaCpkvG/M6P0ldki67frZikdZi3jZnZnbBNqSdDlhtK3ezB:oziAOxbus4i67jZikdZi3jZnZnVh |
| TLSH | T16D22528464AA1F1A159A7BFAACE340D1C4F6E62023F1BA08760DF15C4FDE466F673C85 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/alarms.cmx |
| FileSize | 8391 |
| MD5 | 082DBE39AEE3FB93C8D6AD72D008D5C2 |
| SHA-1 | 0148DF47493EC283D70FEF4FF9FEE03592E73DF1 |
| SHA-256 | AD055226F8B64801463FD16580F042780FF5327EB52733B0B1E4D7EB85B97689 |
| SSDEEP | 192:4EexsUjtL94IrPMuQNfd+sZILKRhqZ+LYNhWeMGd5:eIOPelcsZIohqwSgehd5 |
| TLSH | T1EF025399E30838339DAEE1FE55167E7488F3841A3BA1E4610A3C1F059EEF948D16F365 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/special_hooks.o |
| FileSize | 25872 |
| MD5 | FFB27914324DD5D4B9DF897BF5F140B3 |
| SHA-1 | 01496DBAFC7A02E5D03FFD6AA0A3DF7D96C64DE2 |
| SHA-256 | 6E30BBC6964732C15C2ED1B547104A03E0B73152526A657C225FABC65FD7D66A |
| SSDEEP | 384:t3XCff36m/Rqqj2Omv3PHfKuZKLV5+lI/xa8EKgGMCo+4zXLwc4i6Sm/1OBq9oji:NCff36ml2Omv3PHfIp5aX8c4i003 |
| TLSH | T11BC29C6BB7CFAE2DE9168B31886B122072B5EC697E1177C3221C723E1FB3B546D11418 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/service_graph.o |
| FileSize | 41568 |
| MD5 | CD79D344884DBCDF7FA32F03081214E6 |
| SHA-1 | 0175CB639EF4A2561BBF2D386895877F57FBADEF |
| SHA-256 | CEC83714E21FB9C662AA312BF66C9AFD9C0F24DF4B7D393E0F6669210344B058 |
| SSDEEP | 384:8FpXsTXtiHmnDfLHcvhGXnAZ4FfM2EHB/PcWfZqXWGvrHm3tr1fICRAnmFBa/aem:NzACMhGXA+xM2EBXcWfAdm3DU0K62 |
| TLSH | T1C3131D4BB5EACA7FC57D86300AA7A222B135FC5C7E5277076284731E0FB2E885D69124 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/doc/code/docgen_lt400.ml |
| FileSize | 14204 |
| MD5 | 7B3080B6D9C1BDCA8055C58FD20833C2 |
| SHA-1 | 01B3AF27E882E3F39C19672EC8037A51F1DC48DF |
| SHA-256 | A609C776B2E327311DC29CC5BE908948A88C8E83D36569A750E23FBD2673EDFB |
| SSDEEP | 384:Czi97hzMyL2YsEzaoxP/xCem5wWWMQUQc8oaEWB:Czi97hHn5xP/sZ5wWWBUQc8oaEC |
| TLSH | T1EB52416216E1193336CBC1B6AAC652C1DD81C29F0220EC147AFC756CBF0ED7A52E57A9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/qstack.cmx |
| FileSize | 1396 |
| MD5 | D860CAD8FF6AC95AF81DE5D86D33AA3B |
| SHA-1 | 01F82AB04C5AB3F796F1376B444BF929161B1660 |
| SHA-256 | C2136126EAE765E1D2238064E7E36C3F16ECC44EF560A48F6406559B8FAA3C8A |
| SSDEEP | 24:MCAaVvkzLhxRwRiQaR5RunlIR3IYRoZVIpRoDrUuv2RoPAR3R6cRe9RrRdZVj/R4:JAahW1xiUbknlIxIYEmMUa2uABQcM9tS |
| TLSH | T12221DFAA935E3C078775C1F8299A397849EF94893BE07CE61EB80F2D64CD940D35E264 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/frama-c |
| FileSize | 9044712 |
| MD5 | 37072D7CAD5A6F1C08C9CF5E7C71426C |
| SHA-1 | 01FDA076E97D218E856D382563A19C82E184AA7E |
| SHA-256 | 7625BAF834EDF7B603B952B2D59AB792049490C4F23E5C647AE37FAD7C01B7F6 |
| SSDEEP | 98304:0ObtxNIMRrgDNKxjaQnAhEg2cc+JUNgGgzuHyB:0OhrgIjaQHgSNCu6 |
| TLSH | T1DC961A9BA6999D7EC2FAC178C3566B76BAB17824272177031890BB100F13CE99F7D350 |