Result for 37D9E996670E4E8545D7AD554B4B4B14D176B05B

Search result
Graph view
Children (1376)

Query result

Key Value
FileSize62746532
MD5096AC1883FB70465A9A890FF17D93E2D
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-137D9E996670E4E8545D7AD554B4B4B14D176B05B
SHA-2563D9313ABE77A4BD12F25DCFDF16D57E37A7AA431F057BE1BB6EC5B0E7775BE57
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/plugins/top/Report.cmx
FileSize4781
MD502CE0FC1C7637BFF233B246DEEC4C55C
SHA-1000F17AB3E3EF34860BF5321E4B79785801D5E66
SHA-2563795FAF03136675CA7875CD643E47663A036462CA4C2A6E63BD439267E758C44
SSDEEP96:rr3kmfNP93jXXgzx0JExMRQaUXrXCMP8GpKbSrxjiY6YQ4hZv14HfvA:rzkAXXy06xyfUXrXCu8GpUcp4YQ4hZvN
TLSHT183A12A3837C5BE027677A3A3BD5E906FE3719609E1B5857046DC45C0083AC1AF6F164E
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/property.cmx
FileSize12049
MD56AB76B4C3D59CFC80F4BF2A48CCD63AC
SHA-101750ED484F321D0009C7108D11D9F07EB27F05C
SHA-2561E79C03C267E7A5098F89AE621A731C4B9C058B0446318E265025CD425954B69
SSDEEP192:ziKXXgcZmU6KIaHql6tSwO+FYMY2SS10ioA4clFq9dfyOX1pgH1xx7z:zTwcuK3G0SKFYMY2SyOA4cPq9gW1pgHp
TLSHT1B0423050EF4ADD22B7C2D1BF6D9A3060D96DD859DBB0C4B333BE072A6AE06007056327
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/source_viewer.o
FileSize10056
MD5811510A8641835B47073743820873AA7
SHA-1017FC9C5AB013EBFE5838BA4D48F1B959F1B6842
SHA-2567DD6AADBCE1CC325ED5DABFE3B34EC15609600A67A0720356CD2FC4AA9F2EB4A
SSDEEP96:AekvnnyMnCciRdflKB1R+rWscws+c+7DXzOZljpeSxpM:AekfnyqCcgVGR+rWxwsH+naDNQ
TLSHT15222BC2BDBCBDDEED954873411A50B21B3E6E2557EB1831BCE6DA0352D23B946E03C44
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/wutil.o
FileSize50192
MD5938B4EAD735E7FDA20DABA83D9BA1DBA
SHA-101B3D1FA4242B568A43DA00E0F4821E25E67D511
SHA-256DD76E3ADA5EC7612AA5FE91CD5958AC8229CE6F0848523FC0DA4588EB5641458
SSDEEP768:4oRWpgKLqFWzWzW73t0u+Wlf3cvSo3tKoW+BefjSc29ix7EWwpenoLrAG2w4ypd:cvy/OofABw4E
TLSHT1F1332EDA9BC99FEACA48977444B71B927373C05927128323CC69E0252E53FE4AF17960





metalookup is a service from miwakeru.com