| Key | Value |
|---|---|
| MD5 | DDA83333587FC1A3DA037397D2E98333 |
| 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 | daviddavid <daviddavid> |
| PackageName | frama-c |
| PackageRelease | 0.20171101Sulfur.4.mga7 |
| PackageVersion | 16.0 |
| SHA-1 | C8F11FF5AA93E7F53F14A985F0A895F2A13EF0A9 |
| SHA-256 | 1D92B351DD958168D300C83EC56685568BAC0835CF99DA59F789643F1FBDB09A |
| hashlookup:children-total | 16 |
| hashlookup:trust | 50 |
The searched file hash includes 16 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 | frama-c-Sulfur-20171101_api.tar.gz |
| FileSize | 5663518 |
| MD5 | B2A1581B02F984CFDFE95450EC9388CD |
| SHA-1 | 24740AA911EDE5C9289EA1D1B1AFC4196A46B58A |
| SHA-256 | 89598941CB3D942C18D901E12C9DF464D51E7CAEA69F87A1672E52BA8DB403CC |
| SSDEEP | 98304:Oy+PHsx2ESXjYs/uGkiV6AHbNsO7R73Mkam70FNlBDJbAPgX7m7Dy9pWJz9Js5+6:OyssxzYYYuoV6AHbyO7R7MtNZIgZTIZ6 |
| TLSH | T1CE4633F7D62B3BE2135421BDD3306BF6C4285182B5698E57E862CE527B01744829FBE2 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/rte-manual-Sulfur-20171101.pdf |
| FileSize | 672946 |
| MD5 | 902F08C51504B686A011C6A4395FC2FC |
| SHA-1 | 3BE6FBADF3B4C065D711CD7D41BE34FD599E93A3 |
| SHA-256 | 3E96C921F86041B0F8347F51A732537CEA9A96BA20BDAD3B89778FF890EB1238 |
| SSDEEP | 12288:YLPoqvZvZATKjPIcIBHZ55YM76XEuubOC9eie0VCVhCL:YLoqvZxAejw7nYO6XEuEDkDwL |
| TLSH | T1E5E414538D198A47F47482A4FE070F9D6B467E4CF8837AFF10164ECA3A346625C9E17A |
| 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/aorai-manual-Sulfur-20171101.pdf |
| FileSize | 523847 |
| MD5 | A2405E4C47BBBF14EF082060029D32E1 |
| SHA-1 | 472C39352FFE10EABA990A50D8140C9C5F592FD8 |
| SHA-256 | C5BA66E901D4FDB5B06C23F256EFF1A052A92E2EDA769D9FED914C1CEB3393D3 |
| SSDEEP | 12288:RLLOIEhj992PM9hfSm+nJ6N3/8g+HeDtOLoZOsEvrUppJ5O:R+ICj9SMLSm+4NzTR98sEDUpH5O |
| TLSH | T1ACB423B9D25E644CCDE681A1E14D02E342D940F31F29D87F3DEA9206365F64AF8319FA |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/metrics-manual-Sulfur-20171101.pdf |
| FileSize | 792403 |
| MD5 | D31523FB1D3CAEBC246560E7B27739C7 |
| SHA-1 | 4D12514B17E4B7ED055674641931523EE601B5AA |
| SHA-256 | D16683F2ED54F5D108F8BC8B6C181A8F22EE4A45A262D69E9E899A6F76629FCE |
| SSDEEP | 24576:nLoqvbxlseel1R8/QyccZ90Ia0wEEmGi+NV:0GTlkv5cP0P0wEEmG5V |
| TLSH | T11EF447039D499A42F03882A4FE070F6C6B0A3E5DF8873AFF54264DCA3E746614D9D47A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/user-manual-Sulfur-20171101.pdf |
| FileSize | 1338088 |
| MD5 | 16491716CD91F527D6FC6898D91C0A06 |
| SHA-1 | 7CFFEB4AA562C2D40927AEC5C8A63513E4E488F2 |
| SHA-256 | 6EE56147B715CAE3E6A8F07016C5D3A256D338790F1C0D553C3251A2E41F58CB |
| SSDEEP | 24576:hLoqvzuxSTCv2AcXB+NmUpuQAGyxSq12Mjm3ORezgjxUNnR7XgNd7u4z:aPsCezXB+Nm7QASq12Wm3ORez2xUbKdX |
| TLSH | T13D559C538D188A42F43482B5FE071F6D6B1A3E59F88376FF10264ECA3E746215C8E57A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/value-analysis-Sulfur-20171101.pdf |
| FileSize | 1000048 |
| MD5 | 2B136E2428F2BB8FF517FB8FE8A7441C |
| SHA-1 | 914665C77057C80934A051D29C0A23B24E198034 |
| SHA-256 | B2317BDC53BB6D1B548B7CF20B5E4551F2B8B39F864BBE887C7DBD75A9B58013 |
| SSDEEP | 24576:kLoqv0x5BJXjZf5OZfyKw2AO+VyDDeXUADXTKZs:DfvrFfqfyKlAO+cDUDjQs |
| TLSH | T194258A578D198A42F03487A4FE070FAD6B4A3E18F8873AFF14164ECA3E346615C9D57A |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/frama-c-doc/wp-manual-Sulfur-20171101.pdf |
| FileSize | 1366488 |
| MD5 | D72A84F1C0B6A132D781F2FA686BD50A |
| SHA-1 | B157FF4633AF89EE5F7364883055B436CC8F57FE |
| SHA-256 | 26B1551FCEE4851558B2C85DE85A6B599BBEC94838A4D3881EB538CE01E1FB49 |
| SSDEEP | 24576:YLoqvRxrFL7EbYSrrwiFW7bfjEvGfm/7d7e7MsOGAUNSWRM7LVb:v8FR3SrkiFW7nM/7oxAUcGM7Zb |
| TLSH | T14255AB578D589A42F83482B4FE075FAC2B5A3E49F84336FF21260DC63E346261C9D57A |