Result for 4F7298D11F38C60157901E31C50768DE02DA53F8

Search result
Graph view
Children (1376)

Query result

Key Value
FileSize63890688
MD5058A5C14B746B16AA633C80AA0AA34B1
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-14F7298D11F38C60157901E31C50768DE02DA53F8
SHA-256853E116C43B62C040426C5855CE0CE88E795A9F165427929B00E5CC6CE769A4F
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/lib/frama-c/clexer.cmo
FileSize234794
MD55FA112D533D5398C244A61154FAF3EA3
SHA-100F93E9AE4BA62A1F8320D3ED3678AF115F75D7F
SHA-2560BE32322718FED22F95BCD99DBAB8E38394105393C74EC91ACF56935A24FFFF1
SSDEEP6144:Qlzh+sQ3WobRM1rDQlNgZHzp7OogG6HN4XPDZIMK8tp0IsL7LvhbVdPt4BBoDXKQ:Qlzh+/mobgn7Fc
TLSHT12434510BDB5B9DA2C55C2CBBADF932B786837E25086A575BC4183BC4C032BD86F1B505
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/asm_contracts.cmo
FileSize120332
MD528710C59E94DECAA04C10CFCCD85B0D1
SHA-1017584EF6CF3B2E92368582D38FB7801BE306E90
SHA-2562BE0EB4E09A006EDFB4BED965F3EBF1DBF2816E1D613CCB775DA2C628BE7CF4C
SSDEEP1536:pbwciLK8RlkUqT6wDvz1O0fpdiIJJBG2NdzOfF20Uniu6B3wX:QLXlkUqTbPdDiUvNdSsiu6S
TLSHT1A5C3609F72A94FE6CD8B02BE1ADAA2FF55A0633F86D40DF3038213D5849274D1B59487
Key Value
FileName./usr/lib/frama-c/dominators.cmo
FileSize45783
MD5F00C2453C762598CC4A02F205E738221
SHA-1019C31942218798C11928916EC98A4822B53F74C
SHA-2562BCE6409D3CFE696EC9316117684CDCEB163D5C963D7AC2EABAAEE590428B0BA
SSDEEP768:D9tB0+fKRAnB88eT/VZozhvUPx5CmPLm6GQJ3f0Ln:PB0+ZO8Q/VZBPx5C8G5
TLSHT1B123930FF3501719CEA515BAAFE912EF52B00128C5D54CEF88ED82E9C58178D2F62C6B
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/wtext.cmi
FileSize7638
MD54E59A51DAD1CDC9442AB074E87130CD5
SHA-101F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-25695482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSHT14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7
Key Value
FileName./usr/lib/frama-c/plugins/top/RteGen.cmx
FileSize4296
MD509DCFB796CB706C380151BBEACA9193C
SHA-102482DDDE536975BD2B513C85D03262FACD83799
SHA-256B12AB051B184CC45FBD69F4136BBE035E0DEC0669F9E943CE057FB3AF1C71058
SSDEEP96:gZmfoPn7Xgz20J6xMRQvULXCMPte/XKb0UEMcmtiIdACX:gZtX90wxyqULXCute/XU0oXtie
TLSHT163911A143283BC1276FB9373695AC04B9A73E54695B686F00ADC09D00CB6C19E3F5A2E
Key Value
FileName./usr/lib/frama-c/plugins/top/Security_slicing.cmxs
FileSize67104
MD5095A65CDE57CF1E68C722150B82BDDBA
SHA-1025D67DC97FCEA309852254CEFDB0AA274C2930D
SHA-256585E390A27138DFD5FCF2A3B57CD572A8517B0BC64B51BC84D9B8C65EC3E9D2F
SSDEEP768:JQShwFDBFM5GgoBQeBa3qmo4E+J+X2sXuaqlSI0UiG+530wxguCS0LsUQeY:wB+5GueBLZg+GsXuflSIft+53xgxXQ
TLSHT193635239EA4CF868C88A66319B7A1A1F53EECC8779D70323162216487F971CD9F319D1
Key Value
FileName./usr/lib/frama-c/kernel.o
FileSize185760
MD53335D0BEF9CB9AB87BA8D56F4869EF2F
SHA-102A051F6E643171F41B26424943DE56EA8AAD179
SHA-25622361A409E4F1997FE9AB54F74FA39CC0C0C3313C83FA469B11A118ACECBD7EF
SSDEEP1536:IP77DAZEzzGeipUM6Yw2rxWkTMg3tStkxOJUdoo0oKSF:WAw+L6XwxsCxOc
TLSHT15C04817D6B8D2FAEE2874D389BB0477ABB31D9243982435F0119621D1AC73E3FD15A48





metalookup is a service from miwakeru.com