Result for 5DA3D03AF0FD7A29A41F3D2241423946C2202E85

Search result
Graph view
Children (1038)

Query result

Key Value
FileSize21221990
MD51A1348F3A5FA88672FBF783C22CA5C8E
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
PackageVersion20170501+phosphorus+dfsg-2+b1
SHA-15DA3D03AF0FD7A29A41F3D2241423946C2202E85
SHA-256299694415683EAAC9009AE152B22816346C0F7D708C9D3D2A4DFA3459CF81D4E
hashlookup:children-total1038
hashlookup:trust50

Network graph view

Children (Total: 1038)

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

Key Value
FileName./usr/share/frama-c/theme/colorblind/surely_valid.png
FileSize224
MD51FDE03871C59DBEEA0B24263BDA8D285
SHA-100B83C1084FB862A1D784EBF52C204B6FF89270C
SHA-256AFD21C495A7BDBE3D6703F9660A37A8802B01E28183E65FD4800AB3FA0D98B65
SSDEEP6:6v/lhPmNpkB/6TjtGFaECFzJTr22P6GWwBGGAp:6v/7uNpkB/6TgJmd5P6GFy
TLSHT1B5D023D657402C7AC5465172581C0015E477176D03B3435CD45BDC5C3ADFFF513D5994
Key Value
FileName./usr/lib/frama-c/pdgMarks.cmi
FileSize6786
MD55A0C721106507724874B872796EAE641
SHA-100D3186A09EC73D2B5BB4B91AC01BB1B7A168B04
SHA-25648A1F7641B73985677B471C70BB351674E669E3652F7BD050DE1EE5426C909A0
SSDEEP192:IHFdAwqoxRJT6/9fnIt2SHX/cZhfjyKX/V1OtM1RAWIB:Fwq6RJT61fs+hnoM1xI
TLSHT1AAE1A4CD9839A066268EA47DC03FFC7B5418463E467B8D3352481AD9C99C46FC34B29F
Key Value
FileName./usr/lib/frama-c/wto.cmx
FileSize652
MD566AAB17D1A15E09C6BA644EEF919E358
SHA-101165E2FAE3560549301A06097F57C3090A8D112
SHA-2565060A1D82FF4A703BD6C9849FCFF75DABD150EF434AF58960799704B1FEFDAC8
SSDEEP12:eMjtcov4bzHVMSOm/h6SLfuXWkU2GWa6f4G3wwQxtHQpj4WJnG:ecv4bZrHRW9Bxf4G3wwQx1Q/G
TLSHT191F023A2475DE70881D5F0703F671E1385859C623C7F10A3C3A40A56B89AEC53957349
Key Value
FileName./usr/share/frama-c/libc/sys/stat.h
FileSize2096
MD501F6F828EBCC09AA977483E8156F1153
SHA-1012D3FB0FE5031D6B34D34830AA71449B006BDB4
SHA-25641C6D5F4E1678E05985557E4C751F21A9E0F007A3C70543A6FE464C2060A13A4
SSDEEP48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a9YuHcVTs:bC9uDi90/b9CbKw4U9Ml5a9YuH2Y
TLSHT12F41980410B8EF7B899082D62349C0F9C027E5977A64AC94316EB37F574FDD222A8758
Key Value
FileName./usr/lib/frama-c/annotations.cmo
FileSize283734
MD5D37C4543919865738FCE10753319631E
SHA-101928202B9B8071CD87715FD74F019EF239017D9
SHA-2563A7A31F2BFED70645DA773BE6A95BE4CFCD7BD9723CBCD8A23AF388EED885F9C
SSDEEP6144:GjCL3AWZXDvxUhRJHZDu/oFQR88AT8QAoE3QT9g9H7DQlFR5mUebU:QCL3AWhDvGRvO9R88A7mQT/0i
TLSHT10354C44D7B684832C9E41BBD98E9EA8BC364693C771B2F271158135985CF31DAF04B8B
Key Value
FileName./usr/share/frama-c/wp/why3/Vset.v
FileSize5182
MD5F91819316715999F63FB12A38E7DC12B
SHA-101AEAE830AD465F071C54A66F32454B5A3F69C8B
SHA-256DDBFB6AC5C2BBC1F44E80B4F512043239F31306285FFBBABCF84154932437193
SSDEEP96:elYkZ9sF+8rOaHCizrgXrhJyvxekZLasTS8t/Hr86yGpM:Vkzin1i4rgXrhJNkoWyGpM
TLSHT1CDB1B0052CBB1F852E0B57FE4DD248C2A11A895160B8B00CF78F765D4BAE3A17EBB580
Key Value
FileName./usr/lib/frama-c/unroll_loops.o
FileSize74148
MD5A29F700E67D7FBEE8F161B23447843E2
SHA-101C5D92965FAF21016BDEEB0BA657BDD2C89CA5E
SHA-2562582493372D664A79E8A78E65B8228F01B2B2298DE05A02F308AD057F32362D0
SSDEEP1536:SBmPV1k/rBDBft/dT2tHi8CAe/a/RkxomnNbCNl:Ct/dh8R/RHm6
TLSHT1A673945BD7C65DFFE4DA0932D8DB0BA139B0C1076F72A30BFA047948698A3A10F2555E
Key Value
FileName./usr/lib/frama-c/translate_lightweight.cmo
FileSize78431
MD53D4A021ADB2D577A67708297CB14D5FE
SHA-1022C8A1CCE06C6708F690D018F1590C58A689387
SHA-256C0AD5B06E59CD7EC93E3D44D46B8491523993478B06039B8B040E564A474A441
SSDEEP1536:zgDBMOPGDwx3X8yUosromCqgAxBm2MdjLY4IndyHcz4EfTY:cDBMOPXXtaoMJ82Ujk4IwHeLTY
TLSHT1E273B88C219554F1C54A01BD94EA8A37F350DB7C8C27AEBB441886B9A4CD1CDDB2CBDB
Key Value
FileName./usr/lib/frama-c/precise_locs.cmo
FileSize57762
MD5B0701DDFEF8C422E250C50FE8EF85720
SHA-1027E9111B8168123E354E4FEAF2DD95B33E0BE39
SHA-256B61000AB576C2A5D29EF66E8FAD0A74D37566193624F2614FE90357C2E16588C
SSDEEP1536:HcPEPPXZqGAYGucp0TWmwGj6N120rH+lfhSKyU1Bi:GG4DxrH+lQU1Bi
TLSHT11543F74DBB10A932C6A93DB9DCE8EF8A83119CBE65034D7B104A1B195DC778F6F05A07
Key Value
FileName./usr/share/frama-c/wp/why3/Cfloat.v
FileSize5698
MD57A95B01D44D555F79FD5383ADFE9352B
SHA-102FAB039F7B2946FDF41A791C64BCFFF9DBCA084
SHA-256B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55
SSDEEP96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK
TLSHT1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4





metalookup is a service from miwakeru.com