Result for 82FDEA5AF059CE03D2499C9A1C0A758E06926A6B

Search result
Graph view
Children (1038)

Query result

Key Value
FileSize22044846
MD57A6EE31EC94822BF9B851021B7712199
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+b2
SHA-182FDEA5AF059CE03D2499C9A1C0A758E06926A6B
SHA-25614E1F53B92AA38A6D0324224A1F8EEBC0FF0A7EFC729EBA6C05CAA6E82AFB302
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/tr_offset.o
FileSize11044
MD5DF0574F6B40E8FADE44567894C99DC89
SHA-100C23D05417AEEF23F3048092398DC98BB5231DB
SHA-25604D2716D225AFBA17A01CC7554D6555B1A1ABB5B0C753768B41352C21C337721
SSDEEP192:vxFRtMgmu1aszOtBZhgXwvPA4wQKvNqlvRCeo:v3DMg51akOJsB49vRVo
TLSHT112321FD68ECEECABC029863845E307193370C6496B87F75B414DB5763C0F7D82EA29A0
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/share/frama-c/theme/colorblind/never_tried.png
FileSize169
MD524A73804A24151AD158FD5B93653A8FB
SHA-100E7F26F0D85E5B9705F3685748EE85756E08A1B
SHA-256DD33F7C441051015F451508C3054C08DCC5F757D288831A65619F491B9CDF8A8
SSDEEP3:yionv//thPl9vtt+NTlkm2/uDlhlb1LkOR4R9QEC3ki7hAqTVXVV29ipISvYlkup:6v/lhPmNpkB/6T/BhECfhAqpVtpIcYdp
TLSHT1C4C080FB91D06537D25510E27555511395F70F6C17660545445A8C3D5010A6213F86A5
Key Value
FileName./usr/lib/frama-c/plugins/top/From.cmx
FileSize4393
MD5E8BFB2C8BE18821989C29960E244C416
SHA-100EAC2E877D07AE421E9BFA2D01F25D78BEB27B9
SHA-256C5308B4B089F68688E8A41323EEFEBB3CE9F5E3DD1F915DE2C8C0A9310BE7338
SSDEEP96:h0pLcrfBobywpxWf+2OCTopYAwFguISz/OLOT2oQAQAut7qL9u0n:hOcrfBrAxG+trpYAH1SHSopQAGb0n
TLSHT1F3912C1C6785FE1065EBE0A34A9E4466D831E434527FC56A432A52D44CB6DD5E33B10A
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/lib/frama-c/cabs2cil.cmx
FileSize24421
MD599C65944B741B615C45761026C0451B7
SHA-101262E95398094266FFEF5B7CEA202ADBA9E033E
SHA-2565BE1BF9A3C523941288324DFBD169F5B9997A6AEA861B16D28126068B1DFF6DC
SSDEEP384:k8fxaL+gLDwLwuNZd1cNvRjXPalDdFLhgH4scaKHlGXWO3MCQ5JXj27CKa2UTf/:LfuCMvRjXPaBdFLhmNKHlGz3MCQnXj2q
TLSHT16FB22C228B0974D2C989B27FCDDA466E8C59C0963FA4CC722DED7B1B68B1901D31735B
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/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/pdgIndex.o
FileSize67064
MD5A52C37E5ED6D0E5AFE3CD1D5E5587780
SHA-101B25EAF7BC201E5B8FB4F3598BA4F1181736A66
SHA-2563B713F032914873F8343C0EDD8543B4FBE5B926ED15B35AC6058FF4EC6385AF7
SSDEEP1536:jTZZ1g9WprYmLzHH+7gm8QHC/JRncJYjNxL:j9okLLHJ5QHURncWjNx
TLSHT1066373065ACC9F6ACC1C023348D70B4676B1C3447F83BB47798B28749CAA7653E9A6B5
Key Value
FileName./usr/lib/frama-c/dominators.cmo
FileSize34750
MD5EB295716B6CD16A58C8F2F0ED0105156
SHA-101BD231D6D519C195B67312B0E1A22EAEEB7724C
SHA-256C9239D39268D380CCF82C41C540814C85F3ED6D1E2538116E7DE8E7DACD3CE25
SSDEEP768:35SP5VQgbrF9xq/4hj/RGu57+WpyWOFKInnWDjX:35k5VDsAjSWhX
TLSHT17CF2C50DFE208670C45918BE5DF8CD96D614487D74BB0CBB60CC032499DD68E6F26B9B





metalookup is a service from miwakeru.com