| Key | Value |
|---|---|
| MD5 | 90D4D42153F9AF3CF37BEF527B226556 |
| 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 | 1.fc32 |
| PackageVersion | 20.0 |
| SHA-1 | 484A355990777E59484BB4E386618112279CA89D |
| SHA-256 | 9D20F27BDB02667FA6759D8341EBB8C83F3EFE7C4B4DDF9E47D36335FCC7598D |
| 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 | ./usr/share/doc/frama-c-doc/wp-manual-20.0-Calcium.pdf |
| FileSize | 1372911 |
| MD5 | BABE58D35727609F513F856FF24E52C6 |
| SHA-1 | 018987184D0F6C4AF30E680B19F33B6E70C40935 |
| SHA-256 | 8E08897567D4D2C71B6645141FC0834B588762F3C5A4CA728A0F5E5726DE236E |
| SSDEEP | 24576:1Loqvux76L7E3Y6rrwiFW7bfjlGNaNmFM8bzfdMsd0Oan3hCWHU9i:GL+b6rkiFW7n2aNmpn0OS3h4i |
| TLSH | T16F55AC478D588A42F83482B4FE075FAD6B5A3E58F88336FF21264DCA3E346650C5D17A |
| 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 | frama-c-why3.patch |
| FileSize | 1326 |
| MD5 | C1F5C4203B6CF4772BFCD429C74639FC |
| SHA-1 | 1750E660897C6D3FAEFC522741165E2EA2AB7EDE |
| SHA-256 | D9A1AB693C6E5C556F1FA9F5D35060E6D360535B767DAB672735F4A98A372A50 |
| SSDEEP | 24:Yyt+Oyv/zDFsUWF+UGFdUIsLrK/6mN1oUeZzrUh6LFplV3k:YkfszDG0FdU0iZUe6gFplV0 |
| TLSH | T17621156253542554CC0EE0F21A87F5425695612BB3F824647ECD8018BFC301895F7706 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/e-acsl-manual-20.0-Calcium.pdf |
| FileSize | 948540 |
| MD5 | 123888BD37E32260F27A1F9543445E05 |
| SHA-1 | 1B92C71EC033E89C0AE07B49CB0EC81582434B11 |
| SHA-256 | 2C8999CB278FEF4A1B50CB73873AC124C0991F8FFC625CB9816BC3A2134862AE |
| SSDEEP | 12288:bLPoqvVvZxlZdvs4ZSAHv6yfQBJJUSCfa99c23KYCgQS3+F5a+jEIg+yUlr1Fvy6:bLoqvVxJ64Zpv8CS599c23dC++HmGfCY |
| TLSH | T1E21579439D094A47F03586A4FE074F9D6B4A3E58F8837AFF50164ECA3E346614D8E1BA |
| Key | Value |
|---|---|
| FileName | frama-c-20.0-Calcium-api.tar.gz |
| FileSize | 7738189 |
| MD5 | 6ABDECB787A46739A999411E9ACF456E |
| SHA-1 | 24471B9A92423BBBE0551F1CC0B3E0E1D85FF2A0 |
| SHA-256 | EED73186C4D60F79E728A2F51F48949C159FD0161A19B1AA6BDA530AC74F5B17 |
| SSDEEP | 196608:OW2Jk2GFjjH+rm3M3u0ZNzNLDTM7aOoz606uKfa:wJk/b+rm3M3u0jtDT6aOozvKfa |
| TLSH | T1C17633C54A4DF34E1548B3B5FA00C7E6C08E4990A0CB75D36A1BC799B6493E29EF6F60 |
| Key | Value |
|---|---|
| FileName | frama-c-20.0-Calcium.tar.gz |
| FileSize | 5787697 |
| MD5 | 47B9A0A246AE172384DD927516AB184C |
| SHA-1 | 37B41710BD07A6913F617219C1A71757AEBBAC98 |
| SHA-256 | 167BA128CDA0974A33FBF36A5634A9F520F8CAD9DBCC3AB590D4CB264CB0BB0D |
| SSDEEP | 98304:4tsZfuwBBIDMQsESWSwDDdWMEjSbrRsMFa/7GrXvjKYuNZ/hxW0198qKReppfNO5:/f3BBIWhRqo2vRsM8OXlu7/2A981ReHa |
| TLSH | T19B4633D7F040B605AAE7FA0122498F21D7253CBADFB065B96C81BA1131C57F6DC63E98 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/user-manual-20.0-Calcium.pdf |
| FileSize | 1390037 |
| MD5 | 96CA3F354BA35A59A0633F18A064DBED |
| SHA-1 | 3A10AA6B81DD3E5FD1B70822DD0037D927B93EB9 |
| SHA-256 | 4CA7790BBE84C26BEDF6EFB3D9AEB326DABF8A74B99323A6B81E86B1F86C52CD |
| SSDEEP | 24576:mLoqv0xxAfx6E2AcXB+NmUpuQAGsx/q1gKMjm3S49sQ5v5P0k46CgNSZEizUhN:pnCx6bzXB+Nm7QA/q1gKWm3S49f5vWkF |
| TLSH | T19355AC578D184A42F43882B5FE031FAD6B093E19F9837AFF10254DCA3E746655C8E17A |
| 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 | frama-c.spec |
| FileSize | 21763 |
| MD5 | F52F7E6D8708C2DF066149DC786AB2AD |
| SHA-1 | 5294B98149A8280372AF51860C34CE6D950D697B |
| SHA-256 | 48928BBFA4E300474336262F33DC6320D867C6B2C402FAAC12B8859C5621E561 |
| SSDEEP | 384:xkDCsgW3U8pYblI6RCtK7qoOzr8RWVro1SNjj4cMHkYStk3m/APx:xkDkW3U0oI6REvDtu3Ey |
| TLSH | T18FA29572518CBC63A5002BA5F0B13A19F37A8977D7BBE05D71EC42442B06A19B13F6B5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/eva-manual-20.0-Calcium.pdf |
| FileSize | 1876841 |
| MD5 | F258803809985B3008C6287485CD367C |
| SHA-1 | 6119FBA857BDC7BC47E19509B74A06B7405439EF |
| SHA-256 | EB1DB91935A7CEA04C0E8B747C6DB4371BFA34196B9C1D8745B9F306AA72A79A |
| SSDEEP | 49152:MLh9+NYFbsKhqkHo6uQG7K6o62rDuBgnjeKT7BjY:ZGvqWNu7Kn64DnjT+ |
| TLSH | T14995DF579D198A03F03482A0FE070F9D6B4A7E59F98339FF60564ECA3E35A615C4D0BA |