| Key | Value |
|---|---|
| MD5 | 2B8AF429CAAAE9A8F0C4A96132A2C015 |
| 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 | 8.fc34 |
| PackageVersion | 22.0 |
| SHA-1 | B996652B622FE00801643B049BB9C8EFE87AFC18 |
| SHA-256 | EEB05CC78B1132D8C1A30F040F02D37D37EDAF4C238CAE0F173A9AC17EAEADEB |
| hashlookup:children-total | 18 |
| hashlookup:trust | 50 |
The searched file hash includes 18 children files known and seen by metalookup. A sample is included below:
| 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/e-acsl-implementation-22.0-Titanium.pdf |
| FileSize | 753734 |
| MD5 | CF9908FB9F9F7CF977D9F73D576C7074 |
| SHA-1 | 0B703516F7D927FE6E2A19DF8FB2B2EFBCA8A4A7 |
| SHA-256 | B6EE7A1231141BCF2CA861A39D1ABC80419410CE85273D30AAE82F7D90171FA5 |
| SSDEEP | 12288:HLPoqvjvZTVbQuD/xxIV6XMSaeeG+QObDKXclpJyz0ZB2CXUDVJY:HLoqvjxTVbQwxCOdaJGvOHdpYgX4VS |
| TLSH | T1A4F447438D099A47F43482A4FE070FAD6B4A7E5CF88779FF14164ECA3A346215D8E17A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/user-manual-22.0-Titanium.pdf |
| FileSize | 1747914 |
| MD5 | F0A311086B077523733C1D58074A977B |
| SHA-1 | 1B1750D7576DE3FD297A1F8438FC861FD9DE7DF0 |
| SHA-256 | 4DB98B9F9F206C58EB198D31DEF31C978D88C155134BEF5A262146E0CE30D9DF |
| SSDEEP | 49152:gEsrngTJiV9OzXB+Nm7QAFq1qUEkGi7SbEcp9zs:i7OzXB+AjKoi+9s |
| TLSH | T18A85CE578D188A82F43482B1FE071F9D6B563E59F88739FF10164DCA3E38A255C8D07A |
| 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/e-acsl-manual-22.0-Titanium.pdf |
| FileSize | 781232 |
| MD5 | 47D0AD31FC500595BF309F22CB1FB0CD |
| SHA-1 | 604372AF8D53AE59507B2CFB1D92880A1192EE17 |
| SHA-256 | A80CA38AA3C7927FF251ED3D7CA11F768BA887EF0199CE2AD65587B5132696FC |
| SSDEEP | 12288:/E2LPoqvZvZ39KUC35BN2TI6as+GxYBsvzMMTbWhSuCsdVv1Coc:/E2LoqvZx3ij8Vas3YCNb4ksdVv1Cp |
| TLSH | T144F447438E088A46F43486A5FE070FAD6B493E1DF8833AFF14164DC63E746625D8E57A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/rte-manual-22.0-Titanium.pdf |
| FileSize | 642093 |
| MD5 | B9BCE681289D4769120D005E07CB7E2C |
| SHA-1 | 62F131F728336B086F14E73A6D5C39026ADBE318 |
| SHA-256 | 95ECECFBD1703562857007E4D9BDDF4DB2967000D1F4F241176133B0684BEA87 |
| SSDEEP | 12288:wLPoqvkvZvUUjPIcIBQ71Zh1jhDKwbOdL0D0Z0nlDGbeS3X6:wLoqvkxvFjwyXfZzw0jG6H |
| TLSH | T188D404438D099A46F4788394FE070FAD6B467E18F8833AFF50164ECA3E746615C9E17A |
| Key | Value |
|---|---|
| FileName | frama-c.spec |
| FileSize | 25080 |
| MD5 | 4D2ABA83BD13C0B6A30AEBF47F1C045C |
| SHA-1 | 703A40F07B27E13EFF0743561A5EA720C7765B0C |
| SHA-256 | 1ABA19515E6D8E2DBFAF12B0AFFF02B762BF5C45407F507395F33094EB957101 |
| SSDEEP | 384:O3JD1z/hDpYblLN2RCLZ/FErEtK7qoOzr8RWVro1SNjj4cMHkYStk3m/APx:wJDh5Fo52RivDtu3Ey |
| TLSH | T1E5B2B872528CBCA3A5002BE5F4713A19F77A9577D6BFE09D70EC02442F06A18B13E6B5 |
| Key | Value |
|---|---|
| FileName | frama-c-22.0-Titanium-api.tar.gz |
| FileSize | 9073866 |
| MD5 | 5437E435525EEE2A331C4B9D3D14E84E |
| SHA-1 | 7896389847F5CC09D6C1F1A2C7052D1A30488880 |
| SHA-256 | D1DD87342C63B3B4A4D64406332C988DDB013C6961D6C0930A8323D4D2EFFE2A |
| SSDEEP | 196608:DVyQszkuK5ZvTk26pT60LdY7OPHOUQWuEnh2Ax:kPdCZLkPp+U7HdnUAx |
| TLSH | T17B9633CC335D397C565630EF94882EE482FCAAEBE8D99961C4908E0F134B766D43DA35 |
| Key | Value |
|---|---|
| FileName | frama-c-22.0-Titanium.tar.gz |
| FileSize | 6008520 |
| MD5 | 33900C580E61FD91D20F7BC437B35659 |
| SHA-1 | 920C37B0C700A1012D50CF5DB64FE339F04DFE25 |
| SHA-256 | 7056EE2A35172C0070D022945BF7A189366E38C9DE20A2686EBE2435657401D7 |
| SSDEEP | 98304:IB3BgLmb2k7ht9UB2NswwAYZO93yLQ5XENBqBQQtePmaxSOUWF/+X8w9d2l:aBgqlhqlZ6yE5XEOQQtePJUkW8zl |
| TLSH | T1C35633EAB7E93EC21BE8EC57610FE24A68EA68C90B145B873513677D1272ED05D30335 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/metrics-manual-22.0-Titanium.pdf |
| FileSize | 799447 |
| MD5 | 1FE7A227465865974E44F0876633E32D |
| SHA-1 | 9FA5B408741F1F4394677ABFE9EF7B512B87BAA3 |
| SHA-256 | 4CC011964FF646B15F40F1E2A7C2A66D137F7E49A4DCD18BF0D7D4CAFCF4D404 |
| SSDEEP | 24576:nLoqvKxkfsael1R8HDccZF0B0faLwhymTJu:01cTkHc70B0iLwhymTQ |
| TLSH | T1D50547039D598A42F03482A4FE070F6D6B4A7E5DF8873AFF14264DCA3E746614D8E47A |