| Key | Value |
|---|---|
| FileSize | 35510708 |
| MD5 | C23DB4E462FF9715EA135C391E95F888 |
| 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 | 20191204+calcium-0.1 |
| SHA-1 | 1972D4ED7E475279046A5F56ED4B09FBD200BAB7 |
| SHA-256 | 96022305DAEA22C0021B6BD08062952FA613A8C19F7B56AD1F417ACA9661F155 |
| hashlookup:children-total | 1157 |
| hashlookup:trust | 50 |
The searched file hash includes 1157 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/locations.o |
| FileSize | 127096 |
| MD5 | 073C571AB9D3FC52DAB3504FE6AD9498 |
| SHA-1 | 001E543032A57DA46841FBC6ABD4D929A6643517 |
| SHA-256 | B472BA64E21E2D57AEB3EE3801A41959FAB8F373035A7306A10A8A88B26A3DB0 |
| SSDEEP | 3072:1ECGKin3Ut6Dh4P/V8VqVBV3YkMhk441MoD1O5:1EFKin3pDk6V+9YkMhk441MAO |
| TLSH | T142C3519B7B974D2EC2A2C63982B79731A636FC9DBF013B032151730E2F31E855E69524 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/locale.c |
| FileSize | 2207 |
| MD5 | 37E6C5FF56DEF52A6923D5CAEE861690 |
| SHA-1 | 003B48284A6D34ABBEFABCA0918EB9072F0B437B |
| SHA-256 | EA6CACEFD19D0978FDEF51D074B43BA878AC80371EAB7D78241ADD68FE6950D6 |
| SSDEEP | 48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a92ElAv4u06QeYCDmCln:bC9sDi90/b9CbKw4U9Ml5a92dv4u06Q4 |
| TLSH | T13A41789625B98F675D0030D80F85C1E9E1A72503B23D2E54743EBBAD774EEEE42E0388 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/emacs/acsl.el |
| FileSize | 7574 |
| MD5 | A41959E63B04D17BC2B1F39342BE4A7C |
| SHA-1 | 008F729CEDD46EBD0D164DA47015C6ECAABE423F |
| SHA-256 | 0BF55E5624783FAE116F55DCAFAF79F2A3BC0D023A7591B2D9F409BA865A82CA |
| SSDEEP | 192:LAvXgHOx6+CShBZ/odB93UinKkWbGcyzWpUQB:0vXgv+xBZ/odB9uGcyzWpUc |
| TLSH | T1CFF16405FFF90DE13348259E3FCBA346A769E15B62A0194171CF860C3F4A42A63D5FA6 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/time.h |
| FileSize | 12329 |
| MD5 | E056CBBCECCBE98F96E66C1605861778 |
| SHA-1 | 00975B929258B215A0B4692856480405E7384F2D |
| SHA-256 | 307983B52476ECAB0769B327F7BAFDDE375461669FFEB0618610B9E6BC1E4908 |
| SSDEEP | 192:bC9sDi90/b9CbKwh9Mlk999+CSJgKg0xqaTeCGgsaBxmkB6RgjGKgoywXxb5DhZw:lX3lCSuQTemRBb6GUoxZkq2 |
| TLSH | T1D54231256CBA6E25CAD290F67AA0A1D1C302B43733DC8854347CB3B61F8FA946376775 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/extlib.o |
| FileSize | 68232 |
| MD5 | 103A0D1158799FF52096EAA9473BE950 |
| SHA-1 | 00A7FF8C8BE22D3014A711DA0441868DE16171C9 |
| SHA-256 | E5A0B4C63969618E8C2B7B012C509F256B3CF9C5CF03397779CB77471D62C14D |
| SSDEEP | 1536:6wCVvy1RHfUoXrNWnntVABVuzx69VG50wtR:6nNy7HfUoXrNWnntVABVuzx69VG50wt |
| TLSH | T1B7632F0FBA878E2FE64987704EB613717676EC98EF923707A290331E1F31E994E64154 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/visitor_behavior.o |
| FileSize | 129248 |
| MD5 | ED1DE1F2E55AA6D96592D12F68897C45 |
| SHA-1 | 00B9162D5212535ACC4BFAC653B75B9A1FDD191E |
| SHA-256 | 767C2D91A234A71E029F6B3B76C92C56C38B3E47FFF9A048969DFC2E2647C872 |
| SSDEEP | 1536:MI5tHlFniETCscKQJNMV+VW3/pJE2PUVF:JtHlFnn/1/V+VW3/pJE2PUf |
| TLSH | T108C320236DA79D2ED256CA35436FA270F436FC9E6F42B7132514330E0B73AC24E68665 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/machdeps.o |
| FileSize | 8448 |
| MD5 | 5720F9F1D7CD5ACEA9E39431AAB37727 |
| SHA-1 | 00BD6413037445612AD72B1400EB3E1524D72DFB |
| SHA-256 | A40F4EC8FDB6A0AC93E75353B44756FB9BC3998BD6ABAA87DEEE4D63184F4786 |
| SSDEEP | 96:bMPrVyVN5OTWH4MV52XV9ostFNMJTpJ2+C338l:br5QV9PHcpJ2+L |
| TLSH | T16602DF296BCAEF38E89554330861475833B0F9466D98DF07390E3728DD231FF2E95AA4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/emacs/frama-c-init.el |
| FileSize | 3187 |
| MD5 | 5E2C71037E83326D0205FA714062941F |
| SHA-1 | 0133060452CBC851253F277DE56DD56C0548DBF6 |
| SHA-256 | FD87940582A069CD7088748B95FF4F2C70EBD28A8D62E89B8F560CA9972CA486 |
| SSDEEP | 48:VEnhAuyNHPv77mGh8yKljk6N8dbUtCY6UHWGxq8RWW2xQsT:8hAvPv77gNSla/tvQ |
| TLSH | T1F06114055D86567A5A82654E67CB1387CB16E3CB03392C513BCF630D2F865BC1BE2AB8 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/interpreted_automata.cmx |
| FileSize | 15645 |
| MD5 | 61600EA83B8AFD5FCABF5C7AACE8D75C |
| SHA-1 | 01513D5B9A79B2E76FD664BCF2DA307EB0917A27 |
| SHA-256 | B1D1EBAA9E51A81788D8B6C2841A26838ED059F3F2F083E5E870904B8F012149 |
| SSDEEP | 384:T5HYU1d6LA0pKQRO/ONzrJnSW1coVfKLTcCw:T5Hx1d63xtVcoVfZ |
| TLSH | T113629321E33E69456CE2B5FD1ADA83D24D72BCA99FE3E63A405CCB26D4CAD411367310 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_lexer.o |
| FileSize | 99968 |
| MD5 | 33D32B5E0A836DEBF3A3E867FBA04E3B |
| SHA-1 | 01A039088F23ECC43B5D15BA5605081A9742C270 |
| SHA-256 | 017D532299055A23B1087D4FD9C484ACF547C6479437147E893FAAE0CD49E2CC |
| SSDEEP | 768:tWEKP3q0sXxAPxrI3OhCJAKpaLDt1MA8EcrdVy28ufOn:AEK/q0mAPxrgO4CLPMA7aY2nfOn |
| TLSH | T16AA35607EBEBAD1FCDDD8E7405A51730A223FC247E16A74B9109320E2D72EC86F96561 |