Result for 6E832438EB680785789E0A036C1B032E9263E290

Search result
Graph view
Children (1046)

Query result

Key Value
FileSize23106508
MD5FCEE0E3C9158D6582DC5983858888FA4
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20171101+sulfur+dfsg-1
SHA-16E832438EB680785789E0A036C1B032E9263E290
SHA-256402B6235F3871C650F0C26EFA52A04F4945FC34AEED298536FC300AB26A0F56B
hashlookup:children-total1046
hashlookup:trust50

Network graph view

Children (Total: 1046)

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

Key Value
FileName./usr/lib/frama-c/kernel_function.o
FileSize114904
MD592E5AB6A6254D61CCE5B1B7AAE69C45B
SHA-1005562EE7C31DDF15268046BF8FB2C14A9683DCA
SHA-256C13EC01B2AC47E395EA17F6C7B975AEEC21DE7771D983E8977C9D512809CCB19
SSDEEP3072:cP3sZM0rOcTdlUi73UUBlBsFhXlqa5+IndRzSHLQ3Wpa7A9v0:2sZZVlUi73UUBlBsFhXlqa5+IndRzSHA
TLSHT110B3CD9A6989BEDAD2964370058B4F177331D54F2E22C727CD0DE6651EA338CBE4BD08
Key Value
FileName./usr/share/frama-c/libc/math.h
FileSize13859
MD5B370AEA2044AF49CA608319DD408F37D
SHA-1006D224DA87C95898B0BC3EEA8F6486FF1F4DF25
SHA-2563B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1
SSDEEP192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21
TLSHT1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3
Key Value
FileName./usr/lib/frama-c/hook.cmo
FileSize50404
MD543B410ACFA211AEF0F0B89B97F8497F7
SHA-100E280977E79AFBE5B6D2E21DB86D84AFE275AC8
SHA-25681D8FB3D00DF0CA4928618555F79A4479BEBF49A164468E2EDD80A01EE00AADB
SSDEEP768:FfcYO8nUhFhGDm0LcOhdcMiTbfpkgidDaOHEnkb4L:FEYO8n8FhGDmdCriXhqdDuL
TLSHT1CD333B4EA664F5B0CB9D8A7CD8F399A7C9180D3F54338C77505823A2E99D0DE1B0E993
Key Value
FileName./usr/lib/frama-c/state_topological.cmo
FileSize8750
MD54F08B166A59E2F0F5441048EEC31B3A1
SHA-1011A95C250C9420CA89B2ECB7BED023704BCD626
SHA-256260B3B50F1D675148AA9FC24A042868235B68C514A1E2BB5B01E686699283332
SSDEEP192:jOr6u04UoOUfQWPVdCALzo5Lq/+JD66aK88Gx4imTuSyZz+sXWHQpSuLI48mfsxf:jqSU4vALzim/yaZ8GwuSyLWHQpSuLBbK
TLSHT19202A50EFB24E434DD8629FA8CE8C55A25655CAA28278C5B44070BD8D8D332F7F196CF
Key Value
FileName./usr/lib/frama-c/ordered_stmt.cmo
FileSize22301
MD5EB046469E41F22B1796EF0E89E9990ED
SHA-1014A27620B60E42215833EC627A3E9807640A25E
SHA-2561BB147EDF7D9311B38CF7EDA0745D3027C4A672DA4E4E555ACCA366FFC9EC77F
SSDEEP384:HUPEU4DQHXoazYdInobeSaJk/D5X6JiHwGEHfCoWdp+69PgeNUCZ+UeED2:HmfsdXjLLwGcfCzdI69PgeNtfQ
TLSHT12BA2938EE5349632E59D847C84DBB8C7D210857D98774D37001C0AA2E4DE5CE6F1ABEB
Key Value
FileName./usr/lib/frama-c/cvalue.cmo
FileSize219955
MD5EEA71D0C1ECBF9DDCB0C3DACBAB1DD59
SHA-10198BA5855C882361A629322F5A61322F7D0450C
SHA-256C99DF801D326A7349A46C4D24F8CE88E5679FD199AE2114644730ED4CCF17109
SSDEEP6144:vdPAphf/pKE0K8RmQ+SYYNZEA+zQ4D9HFE6GRB:vOz/cE0KmmQ+OD5+zQKe6gB
TLSHT1CB24B38DAB294131C9CC19BC99F7E98BC214997EA5F35EF7001C021499EE70E9F4AB53
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/plugins/top/Pdg.cmxs
FileSize359936
MD5FB6F99BCA380CB6C4507F0F549EEC68D
SHA-1023A40F83FFA2B3F93239EA36802A83AADEDD12E
SHA-256B10D357E6914EDF76DC6B2149F6DAD8E579DB6BEF3DF017913FCD1CB37E0911A
SSDEEP3072:ukKu0NqBjHvx9CONnIljH0WI5c/nVW71PCzbH8yiwM1oDMBfe:usno7IO/8RCzbhoBf
TLSHT1367495E7BA0A6F8BCF045D354A573671B27E688C2F2DF6136507F13B5A872048E19E09
Key Value
FileName./usr/lib/frama-c/plugins/top/Callgraph.cmo
FileSize233020
MD5988284A84496F0D6F36E140E6BA28055
SHA-102758AC6362214ABC8A7BAD507D7D585EDEBF44F
SHA-2569812D5CF3E32D2AE596DE7A6223A4C8470FCD507ACF9536C7FEBEE97EE25B064
SSDEEP6144:vSUY+dyw3GZNuP/6EPgN72wGNhgtc1BBULscCPdlUvtwe4Q:vSz4yw3GbuP/6EPmyYtWUYc2yOQ
TLSHT18034D59DA168F2B0C58D0ABCD4E744E7D6148A7FA8335C37004C43A6A5ED6CE5B0FA97
Key Value
FileName./usr/lib/frama-c/lmap.cmi
FileSize35156
MD5025F58F33ADB9303FB7381EFB496C9F9
SHA-10290A253B0D72D713BB42691CB9B8DCC871BB816
SHA-256EC2420259897D20C05EA5B6E78EFDC72A1A7E04F594E71B657C652DB7339CE60
SSDEEP768:gPadgQBg/1RCZVV17KyEV7zECxJG7D9gJwkwPq8jdT0LCpQdC0:SadbS/nsf1O/PVJG7wwk+njCupQj
TLSHT138F2F05DBC68F0A502CED86FD00F848B569856BF24371C33991886E16DEFA4E8B1F593





metalookup is a service from miwakeru.com