Result for 1E43FF4BB9BF3528F3696D0061A9ACA950B40032

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize62657280
MD58F5A87355EC6BEBF27F0ADF47087A0A9
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+b4
SHA-11E43FF4BB9BF3528F3696D0061A9ACA950B40032
SHA-25674827B012F032EB1DB1A7E55DE933CC1020C906B0E03934BC89D654F3348F7FF
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/offsetmap.cmi
FileSize29569
MD5CCD988216634A7D89FD2C89ED738D821
SHA-10074A1B038D5A39CEE5F9B639F398660A3A467DE
SHA-2569D0EF119A3C1A23EE5649C0A485271F7F7397ECD0E6F4455BE06A619E79DA619
SSDEEP384:nxZ/fbRWY4SRKJEJdhNAj/s8z7coz+DxHUMO5flpXdQ7IzQA0i22S:x5jRTDHhNC/ss7coQxHDOpnUVRV
TLSHT1DDD23EAE793F5714ECE906EC8AA642A79A3907BCE3E08C73D42407D4520D54D6B2F2C7
Key Value
FileName./usr/lib/frama-c/cil_printer.o
FileSize700024
MD5114349245764A5E6C18DE287601658C0
SHA-100BEED596988D0A2C608298ED99F38B2CAE596F1
SHA-2568F85D1C344AC40429E1B3E6BD424342BD7291AA2A5B558BD243D652058A56AD8
SSDEEP12288:pkAbAyrIuatiqC5cSv8fnhluCqsc7A0iN9kIi/oe7dU1vXq:aoA0iN9kIi/oe7dUx
TLSHT14BE4847C5F4F2DE8C25A0E38EBA613A47B7BCB9416E1A397820421191ED73E6CD1E711
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/asm_contracts.o
FileSize50848
MD53BA8EC7965855FD4AD7901ABA531D7E3
SHA-101613792CEFED0DA17CD985438A1301C9E73B09F
SHA-256B9ADD401D859C1613E1BA6AA29C586F33700A99853141B4DDB535D5F57CF5D72
SSDEEP384:gO0rOo12/mOOBHwDZmp6ZEHxAV78ZThFOU4GAil6myvjKacOxVcRmq3sBvspf1p8:hGXumOYHwZmgZEH6Yyu9+vj84VcFmYA
TLSHT1623372BEAFAEAB7EC2D90E38AB9593703734C65574869307031C322C19C33D54E4B666
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
Key Value
FileName./usr/share/frama-c/e-acsl/e_acsl_floating_point.h
FileSize4238
MD5DFA4391EE405E7F903CBF7D746E4700A
SHA-101AEE7A0CE9C80824916837346F0DBFF659DF9FD
SHA-256C0F2EB222396B2486D2986D80664CE62C786B2EAFE33B3F351CCAB7BC4FACF68
SSDEEP96:bo9VEDi90/b9CbKw4U9Ml5a9wqLiyhEAyf43lL5NNIOEDC:bo9VEDi90/b9CbKwh9Mlk90yh9y4LnEW
TLSHT17991630D189A2F27460650E0718AD0C5C60B8DEB13955C1DB09D739D5F4ECB623B5FEE
Key Value
FileName./usr/lib/frama-c/cfg.cmo
FileSize241390
MD5254B0AFFD435D5FC9E7FAC630B36CDC6
SHA-101D9E1557084A04BCE15723F5EE9D4DDF5FE6212
SHA-2563D07DFACD026FF9DE21DB5035F441CC5D982744EEC621FC3989978C704B82D5B
SSDEEP6144:x+OYYuLJsyduBKpW1w2sXgXlsDkojEOi7wPLq+xYeWyGTWcMkQe5:a1m1B85ikZxYeWyGTWcMa
TLSHT10934516FB65666D1CCAA05BD69CD01FF4260453FA1C80EFBE20602D18C673AD1F5AE87
Key Value
FileName./usr/lib/frama-c/wtext.cmi
FileSize7638
MD54E59A51DAD1CDC9442AB074E87130CD5
SHA-101F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-25695482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSHT14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7
Key Value
FileName./usr/lib/frama-c/parameter_category.cmx
FileSize2768
MD5277FF6015C792C4A1B3E166FB3028ED3
SHA-102A2448523798306E8132F024C7991D6C7381693
SHA-2564B89F5937DE857D5AF184A6D1873CE6785A0DEDBFE80DB91E582C2574D0394F6
SSDEEP48:CW62L855lfzTXWYMxlzZ3zG2MiPNg91pDGo2Ic:r615xWhxlzZ3zG2MiVUdGo2x
TLSHT1A2518309776DE6D0B62163633D85A07FCAB59340EB9D8D74C3DC9824843ACD5B2E9306
Key Value
FileName./usr/lib/frama-c/bag.cmi
FileSize2701
MD529D93A71CDC225A1F6FF2A79A006C815
SHA-102D84E2D5DE2DBA8691F691262E14B47874240C6
SHA-256D5883506EBB5793C5557E6F2C766884A699DE931CAD35154316B49024FC20556
SSDEEP48:WcuIwFMQ+Iw/s8pdL8ziBiM0F1+n23IbC4butzThn4sAaAx9zc3QteH+nID+Onh:aIzsc0P+tbAtz91yxveHuINnh
TLSHT1D251556F5FC50B2DECC908AD738183AB1A18637DE5F99D7FAC190EC4A05111CA3A92C7





metalookup is a service from miwakeru.com