Result for 5BC3452611E40C619AA127812145AA6A8A91801C

Search result
Graph view
Children (562)

Query result

Key Value
FileSize8167218
MD50DFB17E8CEE433AEB6FF09C573F0DB40
PackageDescriptionPlatform dedicated to the analysis of source code written in C (without gui) 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 and the command-line tools.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20161101+silicon+dfsg-5+b1
SHA-15BC3452611E40C619AA127812145AA6A8A91801C
SHA-2561CACB24E2A7A573E4315A48CE7A1F7A7C6A0863B21B31143F750A7879CFDC2FD
hashlookup:children-total562
hashlookup:trust50

Network graph view

Children (Total: 562)

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

Key Value
FileName./usr/lib/frama-c/logic_utils.cmi
FileSize39377
MD571EA225405774BBE372D9F652C59A195
SHA-100EA2556EB592A839A5B4FAD120ADEF3BF210693
SHA-256933D7D9AA277AE1DC2D782E4E55A858F80FA442DA896D9E7A1D49188BDF839B7
SSDEEP768:Y5QOIO3ttVJesC6D2XTlJRcik7wDIMYO1z50uCh7Cn5:Y5QOf3ttusfUhJRct7wDIqp3CG5
TLSHT14B03A24C68A9F4E0059AA45ED04A892BB791833FAC762D77811E91F03BE660CDB15FD3
Key Value
FileName./usr/lib/frama-c/plugins/top/Print_api.cmo
FileSize81235
MD5B1D3809F24E8CCE11FB27B382A08897D
SHA-10155E2C8E9A6363849A6F26F26405311ED873A14
SHA-256D6A15B7A05D590B3CF5FA107ECDBFFFD4FDFC116CD8A8E67A808DFFB5075F6BA
SSDEEP1536:pu2H1AUCFStoLbKHsRGU3YTYEj9K9Hi1plDpDsQSuZQwBn2ptReOmTKWu/zH7jGX:p/1AUCFSAnGXvj9K9HgfbQwOn0
TLSHT18183A5C76593F922C44408BDEAF2CDC592524C6B58F35B172024391A4BF3BA9DB24B36
Key Value
FileName./usr/lib/frama-c/parameter_category.cmo
FileSize11427
MD533555D8B0B5325F64158462DCF8B280E
SHA-101F994E1CDBFD25CDE518F0283ADBB40200F9223
SHA-2561994B545BB718C9603C86B0E7F4AEDFC17599EC78A84126FAAE59009C7BFF9E8
SSDEEP192:jP55wO/GP6+VKwjbbPum7oHh1eSJ66kDs/sOyKkD5hIjNEF35V+ZLSCf:U+1m/Pu2oHrVJWIEOYD5hIjgCf
TLSHT15432D7096224FB30D8A728BDEDC1C95E41089A7F296B5EAB51840EA874D111E7F177CF
Key Value
FileName./usr/lib/frama-c/cabs2cil.cmi
FileSize6505
MD533B68FAAEC1FAE0A2716DD0757455B8C
SHA-10213EC8E737E06AAC57EC1FC10AF846080AF7BA2
SHA-256D482A17866DF88BEED51D88C2CBC43C21212B008E30C3B201239B95D450E3F6B
SSDEEP192:Jh/20T6CywXgf1nB8xs8kef8Z8V/u8T8ZdAOr2ZAZ+uBQzVLBh:fhyEg1GxVkhuRThuBQTh
TLSHT1F0D1AA8D4004F2BF05DCB85DD45DC86B19A12BBE8ABB1DB7A32904F45E2840FC723A97
Key Value
FileName./usr/lib/frama-c/cil_printer.cmo
FileSize501513
MD598C00E145C76FA71DF11EA32E39C42C8
SHA-1024E2F67202423201D46CE92EB04A3F9BFF6ACD2
SHA-2568CABB88187B2E27A7C3141A1A7DA7730370F65A01382A730E1A7A1D2C6D68B7D
SSDEEP12288:20TPW4safseVNL3IT+KG+SOoh0CI2sWtit7UESJT06By4zf:5r5IKnLZh092sWI4966By4L
TLSHT182B4E74FAB4A8435D0B0467F9DE6894A521104B8F3F79FDB4849422898CA73EFF54A4F
Key Value
FileName./usr/share/frama-c/libc/__fc_machdep.h
FileSize8367
MD577E2D9713DBBC4AF5F2EFA69BA48BE8D
SHA-1026B5ED10FD8210A6DA3AF570B830F6855588314
SHA-256773EB4AA828BD47636084A4220D4A25B800294A1614893DA72936294760E1169
SSDEEP96:bC9nDi90/b9CbKw4U9Ml5a9muVsKpuwUNuOo6VsK9wkbRFue6rgu:bC9nDi90/b9CbKwh9Mlk9VN0izgu
TLSHT16402CE990CD8CAA424335066151E86F99209ECFB628024EAF01F6DBD5F5F4718BFC9DE
Key Value
FileName./usr/lib/frama-c/integer.cmi
FileSize6218
MD5E6FFD6CCEBCEA8B703E39AD81EB95FB3
SHA-103785273D8715D32B682569DDABCE39AF2B9401E
SHA-256D0ED28D1678212A06713A52CBBD30250E47C22555FE541FA6086CA2179A7E2A9
SSDEEP192:NgI+P69gfbDRv9x8o6HTQPE4RWA+zeW2egys1:eIp9gfvRvgHEPE4RWj6negys1
TLSHT189D1B7EC9024F89C54DEBDBCC2ADE9870382927F80771D7B4327585697BE01EA72240B
Key Value
FileName./usr/share/frama-c/libc/netinet/in.h
FileSize11609
MD553A20D3ED6F455F7DC0BDD2D89F253DB
SHA-103B00D85E2B377F9E3E05871DF0963D80D2EB487
SHA-2563E8C00286D0C397E714BF4964AA8D643F2E9012BE2A2ACAB008D23D1FF3A155A
SSDEEP192:bC9nDi90/b9CbKwh9Mlk91nSElNlbhSQfuLF0B702PPVIgIGGiba2UQ0s:qX3sl+p2T
TLSHT14C32E9001DF5199A407259893709D9CEC149DE33A56A06FC38BCBE2D4F4E9A98EF41FE
Key Value
FileName./usr/share/frama-c/libc/sys/param.h
FileSize1788
MD52133811EE100BF531FFCF55E9C738110
SHA-103CF5700DDE9CD3C8FE511DA8DF4412BCA90E647
SHA-256CF8BCFEF17502B043CEDD32FE3B82F0026BF83FA83FED881337828735FB2A824
SSDEEP48:bC9nXTi9xW/b9CJVyEqHw4U9Ml5a9ol4G:bC9nDi90/b9CbKw4U9Ml5a9olb
TLSHT11831561515FCCF7B490000E52B08D1DAC25BAA8BA7590C59717DB3BF674EEE607E07A8
Key Value
FileName./usr/lib/frama-c/globals.cmi
FileSize6228
MD5787B449F47A493802F21EEF09D3F3208
SHA-103E763A9E873554BAA352B71D89FC75DE3066772
SHA-2563C8C38D88CBD1FA68CB78156FEFC3C8DFA3171D98D0D533800D4AFCB1727AAC5
SSDEEP192:sZG0jw/ugRYDMsLzgSN7TInyY1FsqrSdZYFLE1:s3w/ugRYQs3gig1OqrSdR1
TLSHT183D1C3CC4424F9E8469DB9AEC59CE847151297BF8C7B2D3B472C14F066A911DE322ECB





metalookup is a service from miwakeru.com