Result for 7807B9BEDFC2AE067C0C565879345F4967AAA671

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize50351728
MD5AB7457FBB6E7532519003119EE7C194B
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
PackageVersion20200625+scandium-2+b1
SHA-17807B9BEDFC2AE067C0C565879345F4967AAA671
SHA-2561B8775B2B634509B9F7907F82D39656FA1B1FD26E7ED8623976ADD991DF0EE2E
hashlookup:children-total1337
hashlookup:trust50

Network graph view

Children (Total: 1337)

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

Key Value
FileName./usr/lib/frama-c/visitor_behavior.o
FileSize92248
MD5239C613D4C76C6BBEFE3B322534A3B2A
SHA-100566D0BBD03DB306448018CF418F1B365FEE8D4
SHA-256D83A900BD4466F997C56203E26BBF9819B01191F765AC8EFA25D764B2602DBBC
SSDEEP1536:Kzg4jzmgVnJYXHKeiz5+h+wkCaNdW5+AAIj:KVmgl2k4+wkCaNdW5PA
TLSHT1169354235FE91D1EE29F0CF60B9F2771F527D1CB2BA6E3135408615825832826F953AE
Key Value
FileName./usr/lib/frama-c/pdgIndex.cmx
FileSize10237
MD5AD89C524F0E7C8BA29C1ABBB1A3C4C70
SHA-1005EA908D00C7C7C55A3873ABA0FEB1878CAD825
SHA-2565DC0101AC789AA26461D2E631BD589D97327C502810BD38AE707754F20588BE8
SSDEEP192:Rk2wrkVj+suw6nlnjbJjIaXzhCVGtmJxKFr+jaN5:KkV/uw6lpjIszhCVGtmnKp+jaN5
TLSHT1CB22B621AB162CA3AC15D3736C9125438E90DA04CD57B6333CA70D4E9CF1A71BEAF239
Key Value
FileName./usr/lib/frama-c/int_Base.cmi
FileSize3511
MD5C9993807FE79852DA756740DDFC47BF9
SHA-1006BCD5F96F0E7AF0570A1124A2ABE66DF0A8121
SHA-256C41B3DA50DA259D5A8D4BDBF6A9EB5025B17E390E4F6EF934ECD10B0246E6424
SSDEEP48:1knvLzhPEA87glrnJc8fmXytqO9I+KbrdKE8isSN+K7sbqbVwDRAv+iMe:1knvLzh187mJcYmX+9DKdKzihiqEAWQ
TLSHT1F4711D9DA7441B19FE28009DEFC447EB9A360BBC85E08CBBB0494FC1412665DA39B7C7
Key Value
FileName./usr/lib/frama-c/dynamic.o
FileSize67196
MD583AF8F1913195BCEFF3C29367FB14059
SHA-10073B2DD4775860602607EA007B76315121496D7
SHA-256F5B226C0470D85F6C81D3620A0BE5B4E3CC2FFC8CB7D086DBE99B4C3CB56E67C
SSDEEP768:m41jgpWio2nNkpna8BUlel4MYgenNI3XzRzrU+z76utYib5b49AQjBuTI9CM:X1jPR2nNSahVMqn23XR4+/6abG
TLSHT156632C2BB7CD4E7EF0795970485A2B2AAD60C11D3BF8A31BB0B478346E327891F5255C
Key Value
FileName./usr/lib/frama-c/exn_flow.cmx
FileSize8061
MD5743BFA8C1AA6E2D33D73318ED3D64F57
SHA-100890BF0DB15674B7CDF2B77C4B70D10532FC479
SHA-25622FFD5EFB572C432D08C5AA40DF3F7D0D88E7DA94C48DCBBDB8A568F453551C6
SSDEEP192:Frube1zBV29AD8+Y2ATI04PMshxY/AvCjc0OGUX3:Fwh44AKjGGUX3
TLSHT1A5F18320AF46ADA3BCD3E1F36DAD1382C772E0DF17F49239406C5B5A95E2F2181A6314
Key Value
FileName./usr/lib/frama-c/file_manager.o
FileSize34524
MD527885942ECED63B0BEBC099206734117
SHA-100AA7B01778E8E225095C1E6274C49F6DAC0E550
SHA-25614588B7A00184DE6CE425275D93DE1025CA94CE64E7411D5B5FAAD256EE5D8B7
SSDEEP768:85it13r1vw412xlYLYgsVVbc6anuRHuMeyxQIWL:Ii7ByliNsk6aiHS6Q
TLSHT1F5F24F13DBDD8E7FD05E0B31A8AB07192672C6496FA1A707E8683D283F573910F5269C
Key Value
FileName./usr/lib/frama-c/mergecil.cmx
FileSize8031
MD5688CCC75A96D735788DC7B567A8D8519
SHA-100AA9419DA77D1D19384E773B97801BE6133517B
SHA-25662E6DFB473554D2D2D95AC9CAD408D5802B600F906DFA006E0CF1CB459169ECD
SSDEEP192:run20e1amEUn2r90OZWNW3fh/PEuYxMvqM0Wtu/oQrGAxMuIgrQ5romnVijTLD:SrHXmYEuYxMvUWtjQr8uIgrQ5romnVmT
TLSHT196F14F912BC23F42F8B64336A6C60062CA71D057BF988576A45D3E6724DFF11F38729A
Key Value
FileName./usr/lib/frama-c/plugins/gui/Slicing.cmxs
FileSize476976
MD58272ED1211E0EF8BC7F1F0399929346F
SHA-100E5F943E4E4176D23B6B59305C9D10394FA0985
SHA-2568D113B4BF2196F554CFFB795131376D40287FE98AB8CB402F56D81E51715A23D
SSDEEP6144:Kq0BPLSVrFPl+v5wDZkZICKnw0Etis0ipVT/fNs5EjLtApohtyTehjvgs:KB2VrFi4+SUTZ0idtAp0tR
TLSHT154A4F912F2555EB9C17A4F76CCBB1B2E7939CA0E1797E716A428F1383F2228407523D9
Key Value
FileName./usr/lib/frama-c/plugins/top/Metrics.cmo
FileSize1005192
MD5306DD6979156A88EA67695CA135B32F2
SHA-100EC3AD6515283D74859D1313483887B32AD830E
SHA-25615F2CA47B1E17B0DA7EA03BF74E00E43013883BE62AE8824EEFEC8E5D957542B
SSDEEP12288:PDktdtXRYQJFAMLr9FNploKPrV88A7LxXdgWBeEWwuyJZET1qLsSrc/BzpGnP:7kgQbLrnx5AnBeEWfRJqIMCBzpGP
TLSHT1D925C28F759403E8CC9709BDADD945FF06644E3F90D68DFB428A4BD5858278C2F0A1AB
Key Value
FileName./usr/lib/frama-c/plugins/gui/Studia.cmxs
FileSize68536
MD5E92F00A9540B4BB25B3D9FA38506CDCE
SHA-1010D8CAD90F6A04DDB19649CE89EA8B88C1CAA1A
SHA-256E5726C5812D049287919B194ECE3DCFCCC2B427C4A4279F725F1F1483D05CCE6
SSDEEP1536:4WECLjRYuROweN+NHo27j1operVotltD:6N+NI2X1opepotlt
TLSHT18563F659FB59497DC87A8EB904AF43773770C11A65ABFB217808331D2F122A44F22EE5





metalookup is a service from miwakeru.com