Key | Value |
---|---|
MD5 | 52FF8E9CA0FF08FB66E1174A7B3A5DD1 |
PackageArch | aarch64 |
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 | 7.fc23 |
PackageVersion | 1.11 |
SHA-1 | 7289B023228FECCCFEC7823C81538A1C0AA6C3B3 |
SHA-256 | F73E80E3C6E1433766B0BEA1CF715F1F1955BA8CA9AD39EB1D25AA34E416A8E3 |
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 | frama-c-Sodium-20150201_api.tar.gz |
FileSize | 4708415 |
MD5 | AFF021D5B137CB3A3D165FE71D0CAE5C |
SHA-1 | 00498859C3B128418A6C25C61B5F8239896ACBEB |
SHA-256 | 5C474FB6CCF33D3F62F2517EC69B45F14D7B4B190161FE43FD5D2549D9EEF40B |
SSDEEP | 98304:0r58m9ejLUujoKg/PlmT3SHcmnuzSgUPnVdddPhUE2j1z5ErsvkLEm/+D:6GmSLUu8Kg3lmT3vmnuugMndJhH2pzys |
TLSH | T1EB263360F985F58D1AEC93EE4484C9D6ACA60346984136C3F13E0F874D42F5EFAA9723 |
Key | Value |
---|---|
FileName | plugin-development-guide-Sodium-20150201.pdf |
FileSize | 1383365 |
MD5 | 6359766C6D1AD615EADEC295B5F38276 |
SHA-1 | 01F5808C0660EF560DCD6EBA847AC598C8AC4416 |
SHA-256 | 43AB7BB0805DABA572B73D7B1B34A5DFCA2E9F935C1D3DDB2411B8C5AAB3797C |
SSDEEP | 24576:uLoqvbxciiy/KIYsRZIM6lAv7YFOsAxHUORIFJ2ZJEnswPwWVoG/u9PNbw:xm56av7VsqBPEswvVWbw |
TLSH | T10155BD478E194A06F43483A4FE470F9D6B4A3E5DF84779FB24264EC63E38A115C9E07A |
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-Sodium-20150201.tar.gz |
FileSize | 5993348 |
MD5 | 0CD1077492A58CADB6544C35129EE32C |
SHA-1 | 11994B84CF8A011580A55CD32F35689ED808199D |
SHA-256 | B61638809E5E2F4138052844DD58AA2D2C44D542A65111CC80B65F6B999A4C71 |
SSDEEP | 98304:keuUtwEglk7iTj0lX0mnEkHcFeGiiRCnvFSQbEo1H5xxlwIhH3UXGcnZ6PqpRFZ:Ju39hTj0y23qebigvFSpoB5xHhpyG5Po |
TLSH | T1E15633E8A294DB83B7D8600107238A5E1AB9A6D617FDDE7475842F9E03DC19F370CD26 |
Key | Value |
---|---|
FileName | aorai-manual-Sodium-20150201.pdf |
FileSize | 345275 |
MD5 | 0A312832DE0FD83184C7F2DCAAD7006D |
SHA-1 | 18561BAF44D884448B99D688A3C9A0625174FF48 |
SHA-256 | B65447B9D08A18F78C08C0043991100FF30CBA3D842EFE094FCBA450D2AE1634 |
SSDEEP | 6144:euQzc6ouZ3QVB7g63UTZJjpmFVqWB9/kPFuhfSm0F+D:7QzWuQ/06uILhB9/kPFuhfSm0F+D |
TLSH | T160747BD9EB3B641CC8518510E60C66E682CEC0F22D2858B7349D8F867B4DD59EE346FE |
Key | Value |
---|---|
FileName | metrics-manual-Sodium-20150201.pdf |
FileSize | 793609 |
MD5 | 87AA43B9614F15C86064DBCF6F4171BE |
SHA-1 | 22B405C6B6BB4F7EAB78CE261E7359FC5CE5F1C7 |
SHA-256 | 02086ED8C553E53D43AB1186DB7CE8014EA0F01BD92E47C173873F2B0B40C3A5 |
SSDEEP | 24576:nLoqvkxUqs3el1R8tm9GV80PajwEmmpd+Ky:09CqCkfGS0SjwEmmpQ9 |
TLSH | T10BF447035D098A42F43882A4FE070F6D6B4A7E5DF8873AFF54264DCA3E746615C9E07A |
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 | wp-manual-Sodium-20150201.pdf |
FileSize | 831509 |
MD5 | 79A424B1E42AFBFF3AAB42B971FF4B68 |
SHA-1 | 612D5A98F2C9CFB00CE7AA259D1A6A928568407B |
SHA-256 | 6346206C22EB49572F2B6858785BDAB4C1A1499781C085A7B210CC532D33751C |
SSDEEP | 12288:qLPoqv9vZDKKqfL7ElEwYVulhqPuq9esT07p/:qLoqv9xu3L7EDYQlhq2Ues0h |
TLSH | T1710527879A2A5906F4708270FE0B5F9D67897CA9FC0734FB30594EC63B389159D2C1BA |
Key | Value |
---|---|
FileName | frama-c.spec |
FileSize | 16891 |
MD5 | B89BDBA1179A4BEB5BF72BA2E95F8081 |
SHA-1 | 62CB2E3667CBA785662F577DD457613B25BE573D |
SHA-256 | 621D294C96C9B8065097759EDE3C70D12023349240103CD449BA99248300F148 |
SSDEEP | 384:kNlWHDEyZVTY6Uf8zgW3Jl6NlulNHPiSNjj4cMHkYStk3m/APx:kvWHDujW3JY7ulNHPRtu3Ey |
TLSH | T1DE72E67351C8F833A4005BA5F1717B11F77AC97BD6BAE06DB0AC42482B05A19B13F6B9 |
Key | Value |
---|---|
FileName | value-analysis-Sodium-20150201.pdf |
FileSize | 925506 |
MD5 | 2BF7D19D8B94433CC89FD298D0E06AA9 |
SHA-1 | 7837375A3106E481F9AD05D2603AC71591FE2EA4 |
SHA-256 | DEFDDBF33D725855B103FBA773FBA2AECC8A6F1C39731D54B6BAE3868B53017E |
SSDEEP | 24576:RLoqvIxmKbvu/pEugGrKGk9TYe9NhaWhGrcvC+:KbsKWpEjRTY67ax+ |
TLSH | T1131579438E184A46F0348794FE074FAD6B4A7E59F88739FF14660ECA3E346625D8D07A |