| Key | Value |
|---|---|
| MD5 | 7170D52F07BFB09E8F2F6771B26B72B6 |
| PackageArch | armv7hl |
| PackageDescription | Frama-C is a suite of tools 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. |
| PackageMaintainer | Fedora Project |
| PackageName | frama-c |
| PackageRelease | 6.fc33 |
| PackageVersion | 21.1 |
| SHA-1 | DEBC77B038A11A0FD07E8C401865F8E236904DDC |
| SHA-256 | 6FF2AF215B7C4A6CFDEBCB1BA4E0B5D420AB12FC75444E3330A7064876788320 |
| hashlookup:children-total | 17 |
| hashlookup:trust | 50 |
The searched file hash includes 17 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/plugin-development-guide-21.1-Scandium.pdf |
| FileSize | 1466070 |
| MD5 | 0B439CBF1288ECB2ADBA0AF9DB00D586 |
| SHA-1 | 09201C30D5D74B3E8A2D8D6212DE1BC7218C640E |
| SHA-256 | 5ED96E5337AC29D915365E98338D672F73E0F7334284C6B6BEF9A1BE699CAAC0 |
| SSDEEP | 24576:oLoqv1xL8mMTUnDU8zCONdfRpgRyqDWq6XZ7culLCe6oKm/6kbGtH+:/koEU8+OnZpoyqqq6VllxT6kbW+ |
| TLSH | T18465BD478E1A8A46F4348790FE071F5D2B867E99F88779FF24160EC63E386215D4D0BA |
| Key | Value |
|---|---|
| FileName | frama-c-gui.desktop |
| FileSize | 184 |
| MD5 | 57C8F95AC87294193B3B07E9DC84DA22 |
| SHA-1 | 0A9AE73A256327DD2F7D32031FF05177360DA340 |
| SHA-256 | 517433EFBDB3030094AE2F125EBF05B5A270AE58FC5FF80A4052223A1E4B44C0 |
| SSDEEP | 3:ag4qSLkSPSEI84tNLCBW6GKgFY/f3diiI8oJDjjoERMQ7RAThEiuMn:agaLPPSS4f+pvdiiIjNXoc9iuMn |
| TLSH | T13CC08CCB6958223D422E2051B393A7C9FF8F7A3A30A004D0ED7D523902B1D5DE159FAE |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/eva-manual-21.1-Scandium.pdf |
| FileSize | 1881463 |
| MD5 | 1DBEFCEAF8DF60FFB1C4CED0F0EA6740 |
| SHA-1 | 0D10AD95911FCDDC39580E24247C11D8618986E5 |
| SHA-256 | 105414015F24F31800ABA2C6973F33C5BF6A2990D5095A02A799340332104AA7 |
| SSDEEP | 49152:fUSCxFsCuBkHo6u/k7H6iMt0WukIzyxnPaN:HfBWNuQHzM3xW |
| TLSH | T11295DF479D1D8A06F03486A0FE070F9D6B5A7E49F88779FF60560ECA3E356215C8D0BA |
| Key | Value |
|---|---|
| FileName | frama-c-21.1-Scandium-api.tar.gz |
| FileSize | 8256766 |
| MD5 | 8D856DD9FBD1277720138BEDD97FEECC |
| SHA-1 | 20A703920D718F03D752223BFFA1602907FB8DA9 |
| SHA-256 | B6A113391A9D6A0F51611849495E539913406D7880B4C0A916975A01838DAD38 |
| SSDEEP | 196608:g9t77wXIf9C/DRO4jdvmxrWazWoKmkodtb1QDuzwIBvYoM8ORjk:+17+If9C7s8doWozkojJkah7Cw |
| TLSH | T14086336F440867A6C929F7A25796CFA4A015DD60E0D7F2B3C0D423DBA25F321E40A7E7 |
| Key | Value |
|---|---|
| FileName | frama-c.spec |
| FileSize | 23399 |
| MD5 | 8025F5D6AFD1076C8DE6B66E103DB8A1 |
| SHA-1 | 41B62B28CF321B5C3A5D321C8E4127D218159273 |
| SHA-256 | 3A9A4EBD6E10606CD71D03C499173C329D0CB6DBECE2FF5CCD6AD10F2E1D1ECC |
| SSDEEP | 384:7JDCshApYblI6RWorEtK7qoOzr8RWVro1SNjj4cMHkYStk3m/APx:7JD9IoI6RevDtu3Ey |
| TLSH | T186B2B772528CFC63A5002BA5F0B13A19F37A8577D6BFE09D71EC42442F06A19B13E6B5 |
| Key | Value |
|---|---|
| FileName | frama-c-1.6.licensing |
| FileSize | 665 |
| MD5 | C8AB6EA921B39B962960F18C44398DD3 |
| SHA-1 | 468A9BDCFEA97FA353EBDA89840A525B05061551 |
| SHA-256 | C058ABB16D17B755A5F11ADA19E52DC8231D543850BD5FCC875019BF6D3B1554 |
| SSDEEP | 12:2/ADuRogtes1mrDrmNgQRN36vgDJFlZejU814RKop4pjNJogi:/u/temMDiNgQ/32gBMA8iKop4pBpi |
| TLSH | T13201DD17BC068F740563E1462E09238AD2D1C3664B6A9D1226ECB060613B44537FC029 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/acsl-implementation-21.1-Scandium.pdf |
| FileSize | 1388417 |
| MD5 | 222C037FD77EE2B5E8BA0EAB43CDB74F |
| SHA-1 | 47687DAEFC1A92FA08603F925919026608384BA3 |
| SHA-256 | 9E534046EFDC1C050653774DB46ECD565BE271B3D8FEC47CBEA3961CAC08CF7E |
| SSDEEP | 24576:WLoqvdmNlC8QtzCGzDM7BCb2XkG6YFEby5PLXBMapVO1w:ZPqzCGzkMb2XkGCbyBeapVO1w |
| TLSH | T1BF555BCB4A9C4913E8748264FE030B9EAA992D5CFCD236FB10364DF73A345195C6D87A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/e-acsl-manual-21.1-Scandium.pdf |
| FileSize | 946620 |
| MD5 | 75881D64E8A0DAC8E18581252949E9FB |
| SHA-1 | 49ED5D707E2E626476082EE5050F910B60FC0070 |
| SHA-256 | 5EBD787271E07AEF09748D9084A6F5FFD6A3872053C064B5AC3FBB3EF296439F |
| SSDEEP | 12288:bLPoqvhvZblZdvs4ZUAHv6yfQBJJUSCfa99c23KYIycgQS3+F5a+jEIg+yUlr1Fb:bLoqvhxj64Zfv8CS599c23dy++HmGfzP |
| TLSH | T1DB1579439D194A46F03886A4FE074F9D6B4A3E5CF8837AFF10164ECA3E346614D8E17A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/user-manual-21.1-Scandium.pdf |
| FileSize | 1779440 |
| MD5 | 426009ED4413C055A19214CD79E5BB8A |
| SHA-1 | 4C5498ABC2A2ABEB62C7750C49742C89D5D77066 |
| SHA-256 | F53C658DCEB950E5C0A674E7FE16C5310CE7EA01CAC73931BDAD427034412531 |
| SSDEEP | 49152:2xWrngTRwzXB+Nm7QAFq1D+PGGe0nmbrWK3/:DbzXB+AjKDDG/n2rj/ |
| TLSH | T11885CE578D188A42F83582B5FE071F9D6B463E18F8877AFF20264DCA3E346255C8D17A |
| Key | Value |
|---|---|
| FileName | ./usr/share/appdata/frama-c-gui.appdata.xml |
| FileSize | 1697 |
| MD5 | 53E642E10A70A166001702C47C3CC46E |
| SHA-1 | A86B9C803DC9AA0E8F90CC6083AEF5366C12AE6A |
| SHA-256 | FEAF2C30BADA8F03942FB67FEF5D38672481C11E97E1BF2806DD56EE5DC5B795 |
| SSDEEP | 48:cHm03upYu1QADwpYCgmPu5ypf5yo5y725ycnLJVAC:GaYU3DwpYCgiu5ypf5yo5yK5ysPAC |
| TLSH | T1E231EDD79482E2B554925E03BEB9965AE3B2EF7CE1E19441D80C4D791C0A80ED33BB28 |