Result for 1276D59B14EB79A3DCCC4569F4942EF1E175A225

Search result
Graph view
Children (1046)

Query result

Key Value
FileSize22223452
MD557B85EC3BE878B4524185AFF4189E3EF
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-11276D59B14EB79A3DCCC4569F4942EF1E175A225
SHA-2560565F9685F7B21F7A3BB92898C2114BF68DE02F2D0636A8E05C850F30C5227C0
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/dominators.cmo
FileSize34661
MD549134135B923B03C2ECE1ECB6094B6D9
SHA-1006CE2804983C01318BAD1040940A2DA4A52ED43
SHA-25604DA35C8504128CE62417C2ECB23024BFAFD8A1779876F51E403565D569B7E80
SSDEEP768:v5Sq969RsD+LOr/EGu5S59VpNJOcKIhncy/jU:v599c7iiS5D9U
TLSHT18AF2C40DFF208A70C45918BE5DF9CD86CA14457D64BB0CBB64CC03249ADD68E6F26B9B
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/pdgMarks.cmx
FileSize3172
MD588D839BABF1D9F75406D2F11B5E1B3B4
SHA-10100E7F4649ED906A960562211DE3293E5475DD7
SHA-256F08C443DAD6236D0377519EE960DAAD000A50D8A97B27AD6775E914D822AB7AC
SSDEEP96:t55Ob7B77WhVMT318A1gKx0ADHoZT3huvJ:oBnWhVM18AWKx7DHoZT3hi
TLSHT1AD613D282B31BD3295FFE3730C2E5DB1E864D46156378970721B1E8648B6C57A71731D
Key Value
FileName./usr/lib/frama-c/pretty_utils.o
FileSize56168
MD5E80ED6BCC6EC4DB18BE0DE9809D7FD44
SHA-1015D0DE445647E809F1304C155209BC75EABD919
SHA-2567FB26F0D16CA14C95588D409084B4A69C2E250A948183C8FA1B96C4A1847E346
SSDEEP384:vhVglEXewsvj/L7RDV4uhpHKgzcSSntISJBPP8Szhn1Lpv1Lae/4ldj5nlj8ytqH:Lj64X0xzj5qqMAYv9Px
TLSHT1EB43E22A67CA6D2EC269B9720267371833B6DC446DC167B33121311A1F33AD4AE39FD5
Key Value
FileName./usr/lib/frama-c/plugins/top/Slicing.cmx
FileSize4633
MD51C35B2A60D4D630771FA6797B389752D
SHA-1019617141D4CC531441FECFA78231057CFD96D81
SHA-256171DE68208E029A8827199C797DC38C3FE953D5AAB59CC4F279DACA3DFD79CA3
SSDEEP96:JJcYoN/ZObpNB73gyVZUTougFwFg7nEnV65qIzAAhnxzXRP:JNceB7gyVZ1ugFHrEVjKz1
TLSHT134A12A581386FE506AFBF0F1E58A081FE27CE1A1057FC217A33A91A454FAD51D26B70B
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/property_status.o
FileSize213904
MD57955FB9D8E49527C40C6CB832623F48B
SHA-1026F9F50097F5C01FA5BF158C0B4CBAE7A3EF0CB
SHA-2561AAA4EFA3F904BAC6078ADE3BB4C1C109853BFDA19BF007FB5FD892CAFCC66F4
SSDEEP3072:OaFD1E118sHQFKjQCXJB0acBJ1s8uIBp69lHqDoT4fsrXPNJCrEzevwYg5neygth:7D14IFKjnXJBMcIBpSlHqDoTSJwPnh
TLSHT11F24DE2777D79E3FE694863201A65230A9AEED55AF33B7133311330E0B71BC49D681A6
Key Value
FileName./usr/lib/frama-c/machdeps.cmo
FileSize5106
MD527E79654261C1921FE80309B05D716E8
SHA-1027283B21799594145B9D5402E0D202EE7D16C94
SHA-256EEFE2BB6F4F481AC6C507A023D35B108DACED7862BDE82F0C2025B8A202130CD
SSDEEP96:K/u/u/hstPm+9UK8QIqo7cTFPx4q48LtDN+TsPb2e3x1:K/u/u/GtemUK8Qq7cBGq48v0sie3x1
TLSHT1E4B141D7853697ADC0DF27FAFC7719C44298859CE49A8B3B408C852860F3D2D4B907B9
Key Value
FileName./usr/share/frama-c/wp/why3/Cfloat.v
FileSize5698
MD57A95B01D44D555F79FD5383ADFE9352B
SHA-102FAB039F7B2946FDF41A791C64BCFFF9DBCA084
SHA-256B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55
SSDEEP96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK
TLSHT1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4
Key Value
FileName./usr/share/frama-c/libc/stddef.h
FileSize2022
MD572CE2FB10E8A5A7EC37BFF0F0038A135
SHA-103255E7A571A9C04C487EA25A0CC90FEA78778A8
SHA-256C62CD5450A71026EFB7B7C5FDE35009410AEA1DD106ACC8DCA57FB6E26A6C523
SSDEEP48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a90rk:bC9uDi90/b9CbKw4U9Ml5a9z
TLSHT11041771989BC9F37890100E22749C1D6C21BA657634848A8313DB7BE670EDE726D7798





metalookup is a service from miwakeru.com