Result for F55BB9A69D30559A5056BD32F392933714491DDD

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize52431172
MD5F561C5C91F837D2FA97300BF49C7C408
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-1F55BB9A69D30559A5056BD32F392933714491DDD
SHA-2561D816239C740A197FC64C22154B8A2DE6F873DF145E1CF81182A5E1BED7E8A1D
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/project.cmx
FileSize12793
MD57DB2EA55DAD5605841532342AEECE9D9
SHA-1001D753D238539C602BCE1E47C6561C41527F11F
SHA-256ABF29D0BAC62BBCF1611442885A942D0845041D8E8CDC42B4B386FE036450B11
SSDEEP192:0ONe5f5qiWIOvu3Q8ZRbhFVs1grJ9eWmJnqpzIcdWX2EplRDULhs5nUx5Eq:0w45fTguAkdsWrveWmlqpzMG24henq1
TLSHT1F3428501EB06D9E2F7D696BF1CA5EC00F623F407CEA8C57360AF8B5A90D160062D724B
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/gui_parameters.cmx
FileSize13125
MD5400A34B261E873E2CD31C0412FAD917A
SHA-10077DBA6D14C50D3021279A7CCBC74CD0478AEA5
SHA-256D364CBA959822E290E395C8EA0C2B3A0DE4D152CEBAA365F3D4E35D6C4619655
SSDEEP192:kZF1OG232zvnzgaan5IcnLfxnjkmqrdnLqu8q54Pxj7GVfCkz/SE6+FE27LOF4P:kWmXOdcRmSu7KdDYQEt2
TLSHT193427411E71666939CC1A3FF19775E72503F98A47B84C9B0E09D0B1A6887C31F3AB31A
Key Value
FileName./usr/share/frama-c/theme/colorblind/surely_valid.png
FileSize224
MD584FE872FD34F787A1FB7F012CDB8B839
SHA-1008BF62A1345C000C6157FF833676ADE16847110
SHA-25621CDD244CE6D6EAA44A2F3169526B7E5D50B41420257B004A907563010634D38
SSDEEP6:6v/lhPmNpkB/6T3IDAgaECFzJTr22P6GWwBGGAp:6v/7uNpkB/6TMAgPmd5P6GFy
TLSHT182D023D66A402977C545017164080015E47B076E0372435CD84BD85C369FFF503A5A64
Key Value
FileName./usr/lib/frama-c/machdeps.o
FileSize8448
MD55720F9F1D7CD5ACEA9E39431AAB37727
SHA-100BD6413037445612AD72B1400EB3E1524D72DFB
SHA-256A40F4EC8FDB6A0AC93E75353B44756FB9BC3998BD6ABAA87DEEE4D63184F4786
SSDEEP96:bMPrVyVN5OTWH4MV52XV9ostFNMJTpJ2+C338l:br5QV9PHcpJ2+L
TLSHT16602DF296BCAEF38E89554330861475833B0F9466D98DF07390E3728DD231FF2E95AA4
Key Value
FileName./usr/lib/frama-c/plugins/top/Pdg.cmo
FileSize500782
MD5D7E3950F6E52DBC1B26BD838B268617B
SHA-10103BC58D479901FF326DC0CA242E5F9CC224068
SHA-256E34F0DEF3F3EABDBED178A7BB4CAEE3FC3DB50E075291CD1420F7B0CE52AA7BD
SSDEEP12288:4gktdtWODdg1Y7IwOVgS1aTx/4OnvXJ32nw:nkkOBg1rwOKV/H2w
TLSHT191B4D54F76410620DC941AFED8E983DF4270493DA6D34EF7804E0AD98BC2B1D6F5A69B
Key Value
FileName./usr/share/frama-c/libc/features.h
FileSize4458
MD596D9382111402C830DA32502EC4766C4
SHA-10115A42AD0D72863D8591F18780D6426BA014BCF
SHA-256811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078
SSDEEP96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS
TLSHT18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D
Key Value
FileName./usr/lib/frama-c/plugins/Users.cmi
FileSize1581
MD5731A309F1662D2ED307397CC759CBB01
SHA-10129A633100060442E6D7232665552E460E57F95
SHA-25628D102B2EAF5812B9E68C7E7E57F23704AF6E1F534E8E66A8B797AB0E2E99093
SSDEEP48:oJ+8SQSxLk1K7sbqbVwDiAe9uz502CMA9:og8SxojqFAekz502e
TLSHT1F731B508765AA8A5F2B95387BD93498F43B0160AC3E4C563B4AD5EA1983293FC0D355E
Key Value
FileName./usr/lib/frama-c/plugins/gui/Scope.cmo
FileSize511506
MD5C93AEF42F11154F9AA85E2BAC22F925A
SHA-10170C2D2DC98695C80B502DAF46D207AD81055C2
SHA-256BD30A8DFAA27809B43A2B1125F8CB42E42DBC7C7B60C5DBE2B27BFB9A068E2FA
SSDEEP6144:QiyrseGph92U2eK/nqFxCEtFY3WKrmtTsZDcI39cDFEQ2kDU5CLrDzBgYeCLUpD:QiyrseG4nqFQpWwCkp39i2a/XLUpD
TLSHT1D7B4D74E76400651CC8A4BFED5DA81FF6B30563EA4D38DBB1A0D0BD96491B0C274E6EB
Key Value
FileName./usr/share/frama-c/libc/__fc_define_timer_t.h
FileSize1788
MD5DF0F9F6FDBCC779E1B5110BBD29B829F
SHA-101ADC263E87DC6543E9880B383EF725543E80A61
SHA-256F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47
SSDEEP48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk
TLSHT10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798





metalookup is a service from miwakeru.com