Result for 3EEEC82DD6469BC75393686F8FFD2D7D60BE9122

Search result
Graph view
Children (1038)

Query result

Key Value
FileSize22091062
MD5826D6D6BB2E7B63184FA90ED40F50479
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-13EEEC82DD6469BC75393686F8FFD2D7D60BE9122
SHA-256E1FC9CCCF2F74F542D9BD91C16EF67AE6CB7299FDA693694EF1A34BCE2C1B950
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/lib/frama-c/plugins/top/Slicing.cmx
FileSize4744
MD57FA210759630014232728CA5547F6418
SHA-1000C09E9DB767442CA0116126E162EA03CAC8ABF
SHA-2568676367CB1458936E9EBAF00DC2DC012F5118ADCD7F79D8ED13273DCB318F2E9
SSDEEP96:iczLO2LcDfBoblw8kWV+NOCTopYJwFgZhREGPwoxHfTAgsS1Kj:XJcDfBkAm+krpYJHTRExoxHfTXKj
TLSHT175A14B0D1246FE4565BBF0F3C41B086EE53DA16619BBC21B4337525808BAC48D37A31B
Key Value
FileName./usr/lib/frama-c/plugins/top/Occurrence.cmo
FileSize203904
MD5A6CDF8FC65386D18038EFF2C38E094BC
SHA-1002E060CA84C6FD440DC10F838D3FE2BB4F8FEFE
SHA-256E7E704BA1A1568F173C9A22E655CFC70CA92128445A4D18832A456C0336810EF
SSDEEP6144:1aV8ItmfnfNNQOaqo2qKjOVMsZXe9FKkiE8TpgWWxfbe2evt:1aV8ItmdljqKjOGV9FKjE8TyRwt
TLSHT19514C68D5065F4F0D19A1B7CE4A39AB3F7118A7FBC375E73001C82A9A59D50E8309BA7
Key Value
FileName./usr/lib/frama-c/dynamic.o
FileSize98104
MD5334EE1359C7CD0C90286605007E21749
SHA-10085954BDE16F878C34FEC92D4003B435393FC76
SHA-2562605A58B91B3A42441590CDF695E580ECEC07CC511E9EE93416E50BDA5DDDCA8
SSDEEP768:wjK/oA48CoSaHoTnnNWbgymefwYWRBD5txtSzQngGRWTJAurz:wjuoA48CoSAoTnnOOmwpBVhSzQnbc/r
TLSHT1A9A32F2B76DB6D3EE168C63000726730E97AEC2CAE95774372B1362E1E32BD84F25554
Key Value
FileName./usr/lib/frama-c/filepath.cmo
FileSize22277
MD59AE0468068E8600E0509AAA6DEDCC150
SHA-100CBD7AC821A46C1099F7759FE3D2E8C7B72DD54
SHA-25649E349DB2E99D784C3D3E303D70FA267EE37E9FDCF46E8E1CEEF6C1A9FACA1D0
SSDEEP384:oUurgcFAbuHDMTOy3OPBQltPROU+f59bgKRzwOmEXUTHM1AYWA/iFlAyVk:bEbiOGO2ljOhf59keMOmEXyHM1AXA/iS
TLSHT10DA2D70D7F25F931D59E18BDEDE689EE1250587FB4232C2B00D80B56A4CA32E6F15F4A
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/dataflow2.cmx
FileSize3717
MD55D850F8941C551F00909C8B3A9C6E6D9
SHA-100FFB881418B3287339EF7B6403326978B3493A0
SHA-2561FB2BB216BCD353AC7B3DE44A2CD61A7DB5915BB188C50CA36D9EA15421443AC
SSDEEP96:NKWBobVwgqdMTGAKgJNdEuAXwicXW2qXAthu/1eAuut7DA43nuQqd6uSHaCjDgMM:TB+jqdrA7JNdE7wfXmf4N
TLSHT12E71A645BB059522A8EDE0FA1E48C598C82FD6DD39F6CC3093DC171F7CE0E80B21524A
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/function_Froms.o
FileSize73096
MD5A2698440A751FB6281B2A424D3C9C31F
SHA-101A16FBE36B47F7E2A96593CFCDE2FF1E747A248
SHA-256E417EE27EE7D619D146AC40C06FC867D558351ECC6CF495542C62E2509BFE52C
SSDEEP768:DE9GsZkvg4NWQEtsjj078Pjsbq7Zh1ScWnTO:49Lkvg4NSswIS2SdnS
TLSHT171630E1B7FA7AD3ED256CB30C1AB92247A39FC58BE0137472251B30E6F31B891D66524
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/extlib.o
FileSize57944
MD50404C34D63B4F8956ECEE72316169ACB
SHA-101BF8040B4F4329BF86A58BFA94F4776DE5ED1E0
SHA-256FBA4803A49E08DA00E382D535673998C60D10CDB541422254B89EC0B293CBD58
SSDEEP384:YWxSI9op+tKMRAhkrSO2gRPHuSZkZPdlGgQA78QgwAjbzLbTrKWVA3Cq67DMm7Km:PxB9rjAyiGk1/Wm3Cx8m7KUYuWpow9
TLSHT1D843100FB6978D2FE68D87704AB653317676EC98EF823707A290721E0F32F994E64154





metalookup is a service from miwakeru.com