Result for 9CC94A99F65021C614D47DB465C1440812202731

Search result
Graph view
Children (1376)

Query result

Key Value
FileSize60112248
MD552CF88888C01CEA495EE542FC6F1D0C1
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-19CC94A99F65021C614D47DB465C1440812202731
SHA-256D13E55F58C905CEADAB0A941281723839D0C723B815817DA2F83BC4834C6C70D
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/parameter_customize.cmx
FileSize5476
MD5D4583DFB7D5A0F33119F8D7BADA10D83
SHA-1002F421A02A5B1672554E3C0E0C5ECB9CA6146F6
SHA-2565A723395160157BB0B68476D35F7E5F8AB809D15F6218B916E4E1B71288D1354
SSDEEP96:V+3NMFNpu6KMMb94M9QXTyu3THhxgO+EYTUeOE/:QANU6Kd54Myb3k8YpOE/
TLSHT12CB1FE24036466E360B618FF3DAAE0E7857BD2D4BE89C825539A275528DFD28F1C3307
Key Value
FileName./usr/lib/frama-c/logic_preprocess.o
FileSize59484
MD5B0797515BFBBE83D8811711523F67489
SHA-100846F04BDA780FC9F3F5690F0449B72B1936251
SHA-2566C559889B747795807C46D63DA483383489BE309D72F33E6EC56F36444BBA7D2
SSDEEP768:HdRP3RRvwuhqEQV9Jmfv2o3EoTf82METGzuituSDbkOMUZ04LyKxY13:8uo59cfN3EcfzTGiixDbkOMUi
TLSHT13043B4259E5CAD3FC8C4177C5867124A2B60CE213742A7AA809DB10CFFF17BE1DD2296
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/int_interval.cmx
FileSize7020
MD5DAA7C4263597977799C9611CF1DEF6D3
SHA-100962848B9A70A40936D116BDC6FC8E5320796B3
SHA-2569739F88E1DFE1916D8C4208E8C975C7CEAB2D62157B88C905749A119A9C2C93B
SSDEEP96:rFoMtX5LwlfZqMMAGIy1Lp+NfiCAzDdc7v/QzELn/8OYhW3erIYsgAtAOQhMFkNf:nX5LGZqQ+DNzmKh66tspAOgMeRB1
TLSHT1F6E19921DB975D486E11D1BE6AD559668D30CC064AD7EC310BE81BEE24E3D80F1BEB0E
Key Value
FileName./usr/lib/frama-c/description.o
FileSize84016
MD5FB24065694D7138F3F581F59C6477ACF
SHA-100D55129D65D3E7DE00C8BFD06178FF01811122C
SHA-2561A9341C17CFE0E4F009507C906BFE3A5AF0984C38331799E3B56304A94394EE5
SSDEEP768:+uS0JAHuavfw24MSoczx4GIY9DXdLXvkaEDwCIhs1uaKDKIHvR0Yxn/fFMZ/W:+ugHuavIfwE4GIqjd7vkaEDFn0aa
TLSHT11A830D166DCEFE2AC0EE43764DB7C14D6171CB0D7A42EB5299EDB142A84A3C0BDB3644
Key Value
FileName./usr/lib/frama-c/frama_c_init.o
FileSize2752
MD5396D218FC2C0C7DB6B837E044B7974E3
SHA-100D75940BE13AE621B1EFF902781A25063D26069
SHA-2561F38CE0688AD0C35E127D8DBEFE4DD9CBE12C8B725BE855060959F788E23029D
SSDEEP48:Wn7SI8aLrk8Wxkxt+yMWNEbkw+auIDHZ:WlB4xkxIyvNEb/+au
TLSHT14551CD136B995C6BD915233890CB47A03B61F991E682CB473A4CF1382C576CC7E65B8D
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/lib/frama-c/plugins/gui/Slicing.cmxs
FileSize423736
MD5A1546B860DC54B3F252A460730079181
SHA-1010A8FF9C49F8B3C882ED7F360AEDC259C359205
SHA-2564F4F554F45230C95652922D075F01A1AF59126EA2522B133CEBDAFBE23C10CB7
SSDEEP12288:eIiICfJV7ffIV0kpyiA2wmzrYPQVQGCM:5iIuJlwCkUSRR
TLSHT117942A42F74DED19C49B6036F06B1B1DA275D6CD27E7DB46752AFA382F230848226387
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





metalookup is a service from miwakeru.com