| Key | Value |
|---|---|
| MD5 | 30CF40E0870CC1A32F1673F8D8661D6B |
| PackageArch | x86_64 |
| 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 | 2B8319D9E5A5E6A8EDAFE771382119E63A7C450B |
| SHA-256 | 2397E9A121C864A03673A55861418740A5EE9040F99B71BB4FE48D5EBA247150 |
| hashlookup:children-total | 797 |
| hashlookup:trust | 50 |
The searched file hash includes 797 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/top/Slicing.cmxs |
| FileSize | 549680 |
| MD5 | FFB5511A148BB489616258C345BB46D9 |
| SHA-1 | 005E0024DCD74EFCB667C7E8B117385CEA319431 |
| SHA-256 | E4435524E8BB39677CDA40316999738D38F8645A093ADBE95C951D6CB7A1C611 |
| SSDEEP | 6144:AX4HkDJNltY/bFSSBCps+QKuKlkTJ3GXXZ4RJ9:RfU5pcTZ |
| TLSH | T134C4D71FFE999F7DC9B98235C46707387A71F5985A91A71720A4F2392E231890F2B3C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/machdeps.cmi |
| FileSize | 1122 |
| MD5 | 35AE1ED5449A355B88526E08257433D4 |
| SHA-1 | 00FC424D65C2709ED23E7FA362B1D3D6C54BE00D |
| SHA-256 | 80D8FD50A91364A2671BF1910C4352D037F0548BF7EEDFAE82B5ECC6A64EF171 |
| SSDEEP | 12:aDhCDjfOIMWyhhKPXHVcYqn9p9K91lNpKElRJ/NgHSQz0f7ZnW91qJ78J6hQlB0s:aDKMtHGHq/61l7/+HS5A9c+hoHVLtPv8 |
| TLSH | T1832120DC6F7D4812F9A7732AAFD346EF5A7092AA43B1053AA81D56B0011056DD1C4A3F |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/features.h |
| FileSize | 4458 |
| MD5 | 96D9382111402C830DA32502EC4766C4 |
| SHA-1 | 0115A42AD0D72863D8591F18780D6426BA014BCF |
| SHA-256 | 811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078 |
| SSDEEP | 96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS |
| TLSH | T18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/parameter_sig.cmi |
| FileSize | 151414 |
| MD5 | DF7DC97D72EF61C1994D9E3C12CE4B93 |
| SHA-1 | 013687936AE2B72D2235B547AE1C1755553C4390 |
| SHA-256 | E6CE5476C229C1EF341127E047F0261834549471BBB8A23C8E581C49A1664EF7 |
| SSDEEP | 3072:W7eF/mLOllp5vVCJU1/jNwfRmU8wD6Rdwm:W8/mYFvKUtNwJmAmp |
| TLSH | T108E36D6C28BF0745EDE50E9C8296B23B8A54173ED2E24CFBC81617F5920910D679F1EB |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/__fc_define_timer_t.h |
| FileSize | 1788 |
| MD5 | DF0F9F6FDBCC779E1B5110BBD29B829F |
| SHA-1 | 01ADC263E87DC6543E9880B383EF725543E80A61 |
| SHA-256 | F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47 |
| SSDEEP | 48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk |
| TLSH | T10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/e-acsl/e_acsl_floating_point.h |
| FileSize | 4238 |
| MD5 | DFA4391EE405E7F903CBF7D746E4700A |
| SHA-1 | 01AEE7A0CE9C80824916837346F0DBFF659DF9FD |
| SHA-256 | C0F2EB222396B2486D2986D80664CE62C786B2EAFE33B3F351CCAB7BC4FACF68 |
| SSDEEP | 96:bo9VEDi90/b9CbKw4U9Ml5a9wqLiyhEAyf43lL5NNIOEDC:bo9VEDi90/b9CbKwh9Mlk90yh9y4LnEW |
| TLSH | T17991630D189A2F27460650E0718AD0C5C60B8DEB13955C1DB09D739D5F4ECB623B5FEE |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/gui/Scope.cmi |
| FileSize | 4196 |
| MD5 | C30DE1B000ED0C7618F22CD7694F4B10 |
| SHA-1 | 025FF9F6A085712A48CF974D48831AE607A2C003 |
| SHA-256 | A58C5469672074240B4D58FB7D3B286BB11215FA4048587C89600C66A78D8164 |
| SSDEEP | 96:qet0l4ElIbIanz9RQMBX7Bu41RB7ZnJ20L:qysBlwjxRFXNu417b2o |
| TLSH | T18981958E27105D64EDFA559E2B09836F0734877CC1E58D7F5A984BD0282400EB3AF6DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/bag.cmi |
| FileSize | 2701 |
| MD5 | 29D93A71CDC225A1F6FF2A79A006C815 |
| SHA-1 | 02D84E2D5DE2DBA8691F691262E14B47874240C6 |
| SHA-256 | D5883506EBB5793C5557E6F2C766884A699DE931CAD35154316B49024FC20556 |
| SSDEEP | 48:WcuIwFMQ+Iw/s8pdL8ziBiM0F1+n23IbC4butzThn4sAaAx9zc3QteH+nID+Onh:aIzsc0P+tbAtz91yxveHuINnh |
| TLSH | T1D251556F5FC50B2DECC908AD738183AB1A18637DE5F99D7FAC190EC4A05111CA3A92C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/META.frama-c-from |
| FileSize | 420 |
| MD5 | 903FD0BB4735B68E5D626AB6F6F1EDE9 |
| SHA-1 | 02D875059F01F239B91C374CD06C9392D2321B72 |
| SHA-256 | C718A025C8656A487CAD914A7CE7613FEE8CC5974337C51B2EA597CC21B72E8A |
| SSDEEP | 12:ddDVpQswZXlrYpePA5zxpDJmuxpUyCYpePAlKvPA5zJPsJmuJPTyrvPH:LDVWn1CeSzxpVPxp1euKvSzJPoPJPSvP |
| TLSH | T1EBE0652A275D440629BEC3356F21498B19BBD1E6D44CB1C415EDD010AE5C85A11FE0FD |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/top/Users.cmo |
| FileSize | 109339 |
| MD5 | 852C3CFB798DA5597948D7F21F63C77C |
| SHA-1 | 041629CD5EE6B6EA919BC8E0E53A66F7CDE55F0A |
| SHA-256 | 639CD0F7FF1FB127786567182A72E5D6F62525D8C07F7E237A2D89B1F1846251 |
| SSDEEP | 1536:lrLJAHAUp0Yfv8FboETDapkRaBYWV6o3ZGdf7wXiYwO2/7wb+Bui6BsZFl0z9Dg2:lnbUaJoETupkRyso3i7xzo+b62W9Dg2 |
| TLSH | T139B36FAF98774342DCC51EBC5BA971AB0A91073EC0D59EFBE20C0BE4944664D231B9DB |