Result for 5F30F4E8598461F4E224BD0D28BD9ECCF4DE5F8B

Search result
Graph view
Children (1376)

Query result

Key Value
FileSize58960108
MD5A70C9BAD45F11D35E341FC4A5EC87670
PackageDescriptionPlatform dedicated to the analysis of source code written in C Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c, the command-line tools, and the graphical interface.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20201209+titanium-4.1
SHA-15F30F4E8598461F4E224BD0D28BD9ECCF4DE5F8B
SHA-2567BCBB4C5362F6240AF3171F6ECE01AD3E0F3F75E5DE1843F92BBBF90BEDB78C0
hashlookup:children-total1376
hashlookup:trust50

Network graph view

Children (Total: 1376)

The searched file hash includes 1376 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/frama-c/FCHashtbl.cmi
FileSize10479
MD5F66B72220F1FFF987410C1EFD609F86E
SHA-1008A556E0A5240B46529BAE236F4C55A62895AF4
SHA-25642F774C49E5D1D26E7100F203474D90928063A3DDCC8EF96BCD93E68C1DCC90A
SSDEEP192:HChQWLK0cBgMAJqOn89B7kepgGO7/tvD/ivvh:HC3RcBgJ83OGc+vZ
TLSHT1C822762E7ABF0324EDDB1EAEA6A892B3550017FCE5E64DFFD92407D4925000C57AA4D3
Key Value
FileName./usr/share/frama-c/libc/features.h
FileSize4458
MD596D9382111402C830DA32502EC4766C4
SHA-10115A42AD0D72863D8591F18780D6426BA014BCF
SHA-256811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078
SSDEEP96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS
TLSHT18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D
Key Value
FileName./usr/lib/frama-c/gui_printers.cmx
FileSize5710
MD5F43E46532009B77B0D0DFC21961317D6
SHA-101271A249E7CD0258FA01DDD9FEBC683B064FA8E
SHA-256FF60EA5FDB7E1A84BB0D30CF29F18178EDF450AD5826C10A00FEC03D3C5747F0
SSDEEP96:08TMNX5Lu6KMHzvRz+jj1DNKoSv+Vo1KaPclLxqLRdftAjOX1pqDP5:paX5a6KGlo10ioA4clFq9dfyOX1pgR
TLSHT10FC1A650AB8FA961FA82F2F37CADB741D1B2A0E44BF06A33005C077DA4B6B11456C30A
Key Value
FileName./usr/lib/frama-c/exn_flow.cmx
FileSize8748
MD5E72EB439AFB8D2F715C929BFE2898C29
SHA-1016D02EC339E9E144A786494ED84349EBA99A6EB
SHA-256BC068F0431EFAAA9B356CAF52650136F219147D1FD3D87BC15B3AF6BE20E7752
SSDEEP192:JaX5LamU6KmbErRES10iEHbXcoCp9g/DQxSVf08XnHylBwWIbs:E5LNKmgzSHbXvCp9g/D6SV8MnHylBwng
TLSHT1C402B5507B4B8E62F9D3B2B23DED7642DAF3E0985BE06A32406C277E54F6F0045A5706
Key Value
FileName./usr/lib/frama-c/plugins/top/Callgraph.cmxs
FileSize79368
MD5051CF27EE185B7D37821F290FDDDDDC7
SHA-10193D45FC02159C63BBB17817F74DB1590F7900F
SHA-256CC53247108BE8987BF652236D1AEBFCF11AFB66414051B7CA255EA2D49CE0277
SSDEEP768:KURmnfDPSpoUoq45g997ifnSAxVezSuSaiCVc/b/IKvU1S9rFpqJ+bYj5xDm62kv:HSrFfYj5Fm62SWgf0xgdLHPtgn
TLSHT19173E815BB59CFB8EC764FF158DB032B2B74C21E1947FB2EE04862681D626480F929F5
Key Value
FileName./usr/lib/frama-c/bit_utils.o
FileSize41636
MD5E0A5A02A80ACE61C7811E1EB498B7BCE
SHA-101A1A0CB187F995FAF5B423DC011BC6B7B71D30E
SHA-256EEE48F5AAA6BDEB18DEEC21D0CAC447CCAFA91C52CCC96D8A9B362A785761AAB
SSDEEP768:xOOawiIGpaS+8/8XjFln6nGSEWV79y21WObQMOAj:oOayGpaS+Q8RlnJSBy21TOw
TLSHT14213A4B9D7E98E3FE25A1EF0C7DE231671B6C1046BB1EA2B413468043946BD3976235C
Key Value
FileName./usr/share/frama-c/libc/__fc_define_timer_t.h
FileSize1788
MD5DF0F9F6FDBCC779E1B5110BBD29B829F
SHA-101ADC263E87DC6543E9880B383EF725543E80A61
SHA-256F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47
SSDEEP48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk
TLSHT10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798
Key Value
FileName./usr/lib/frama-c/c_bindings.o
FileSize5988
MD55B34D82974A7FFDC783FF769DD5D019B
SHA-101D899A2AAC2F96BA954C591D803D639A3CC6CBC
SHA-25663A08CC73D3E91C99DC719CAFB06DE2DEF7ACDCE4425594A69AB50648A1981C0
SSDEEP96:PJeUCRjpPDEPzuvs+ODpmQZgAZlrJOaBKiUv:uR5Dy1ZZj7tBKX
TLSHT1A0C1DE5FD6CD4FBBE9E24EB806CA0326323AD10413A7E323489D62377DAB7441A76751
Key Value
FileName./usr/lib/frama-c/wtext.cmi
FileSize7638
MD54E59A51DAD1CDC9442AB074E87130CD5
SHA-101F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-25695482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSHT14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7
Key Value
FileName./usr/lib/frama-c/plugins/top/Obfuscator.cmx
FileSize4470
MD5E466C363688423301D4DBCD08BA36DE7
SHA-1020231C03131C8DBE682A50EB151CFD9D03EB646
SHA-2567DADC4E479C53453C06B3905B1DC19B1F7D914A3488550CA2D03CC3F29919322
SSDEEP96:jtmfoPW7Xgz20JCxMRQsHULXCMP7/XI0UkdkCZSevRpO:jt2X90kxy7ULXCu7/XI0Mw3O
TLSHT1A0910B183783BD537DB3A3736D5E889FD2B6918186B6857006DC15C008FEC58E3E96AD





metalookup is a service from miwakeru.com