Result for 50EA250B722A509972E4C7246E3234E0CCDA499F

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize59402964
MD5E18868FA2BF75E54021D2AD663879631
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-150EA250B722A509972E4C7246E3234E0CCDA499F
SHA-256FF2E04ECA8B5BFC04D226D5A74343D2A49F0226D77F67DA88E97748511EFFCC7
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/cabs.cmx
FileSize1017
MD5D48C5612DDA71C3FD010D16396ADA72B
SHA-10047B1247FD20DDC31D19F2DF731D6231BA29529
SHA-2563BF1515713369CE55D7D168A1CA364E1AC6A36C2351C84730B4AE2DBED69C09D
SSDEEP24:ZCuQHAN8T85SC3UoAl2pc+a+hBeFyUhXxLtPXqy:8bHL85M2TX6ht
TLSHT109113208B3550C453776A6077E06D18F6732A285C8A9407486DC7C9400798AFE1E0B4D
Key Value
FileName./usr/lib/frama-c/fval.cmo
FileSize38798
MD5F7255E15D6B57530B942B11CF4772ECC
SHA-100AB9556CC4E0E4EFEFAD0F7D208B23D94E3D6FC
SHA-2565C090F19439AE0500ED1F01C6266540EEC86D96D96117B6F07146DB96C1974B4
SSDEEP384:8/WZu4zult2P4xRvdwIgqe8rb6YDOxrkP6/0816VKxB+xEiEtoLJsQKynKkbONGD:dBzwt2SOIg3EP6MTExCHjFK1kbONGttT
TLSHT15403A3AEE29B6615CDD901BD9DEA02E342A80A7D80E54E33F00E43D8C051E5D3F55EDB
Key Value
FileName./usr/lib/frama-c/visitor_behavior.cmx
FileSize30755
MD5041D54FB20A5302EFB0E49E375508EEA
SHA-100C3AF85C400F528D185C168F6944E93CE5E7727
SHA-25698D621BFBDE0CAFCF6066D1DCCC5E4054D29D238884D592061DD126F1F474B9A
SSDEEP768:h/Seaajd6yVWm1SyFYlmooSzeoBMhotltoxJm9oRPiAoDNyoDzIo5k9o/2HKX:h/t3jRFFLopeXhot2m9ZASyoI59S
TLSHT153D2AFE22FE66911A55664766FCF3140F667F0DA4F92B320A40C173D59B3E024F47BA2
Key Value
FileName./usr/lib/frama-c/cfg.o
FileSize101176
MD5930D495E601534B6626275CFE4E82091
SHA-10111C30E57E06AFEF0B03F268FE13BFFB598AB6F
SHA-256FE4D6EF55F74CE42F7C954D9872C9BE937976E7A5EAA4C1765543B5B2527271A
SSDEEP1536:0P59cmYkg03vZvyDiUiYPV1/3GhVDs7Q:0P59cmYkt3iiYPV1/3my
TLSHT13AA342176AD76D7FC2588B3404BA1B71B57AFC10AF52BB432212331F0E32BD56E99264
Key Value
FileName./usr/lib/frama-c/asm_contracts.o
FileSize49504
MD51F8562A054CA77A07F1D2286538DED02
SHA-10111EDC9B365E9DD44DA00C860E5320C1A47C37D
SHA-256C9E5D3A23634A6BB1AA1C2AB9089E5F5A1A3713A193E57D93D5EF81BF5CAA735
SSDEEP384:19OioYhgrVEKwZmSZiHPXAV78Z1FYnuqAOsyQmPNb5Oh2A3lgmZYnXb2w7/DXivd:ndlh9KwZmSZiHYYDYkh2wNwfXOTmW1
TLSHT106231B2B7BDBAE3BC598473001A6A3217235EE64BE51B7031318731F1FB3AD45E5A225
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/gui/Occurrence.cmxs
FileSize98008
MD546AA692B69B31ABCF3918133A7E6706E
SHA-1012313E0E3CB40D19FDAE0D629DD28D701E2A2A9
SHA-25648E53BA7E00E4FBE43FEB813BCF9D408EDADE75064AA92458941C93BCADECB40
SSDEEP1536:wIa5kgexzbomak7d6+y5gbK0ZCxHqwgRXM/A7kmYy8W7:fa5+J7oGZCxHqrRLkE3
TLSHT1FAA33AAAEC469E7EC5F5EA3D84CB47B573B2F4252C54A727198033290F131868F699F0
Key Value
FileName./usr/lib/frama-c/json_compilation_database.cmo
FileSize54608
MD5D5A806FE4AE20E3C1B7C10763A70FC2D
SHA-101600577FCE4DF6FBE22DE35305F34E3606A6FDF
SHA-2564E4D83FF0F6C6D9BFB03A5951CCB48D28BA570FCDE390D3CD98AA33AA0E66D34
SSDEEP768:pFqogFwdkbmURKjmvGhdbj4D1ciCllYhEmPKoJfet7+uWQq01wpTIICPvOm+bwLJ:/gFwqyIx5JiB3MhTAntLSMrDZ
TLSHT1493373CEB73C6E44D9DE237F69E505EBC2A1B5284A86086B450493F49022B09FF6357F
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





metalookup is a service from miwakeru.com