Key | Value |
---|---|
FileName | ./usr/share/frama-c/Makefile.plugin |
FileSize | 33454 |
MD5 | 7F64DA0C8C11A2F210F5B34D91DF50CF |
SHA-1 | 0243874C61058A36D786A4B15C3A18759408D482 |
SHA-256 | 28A191EC698489035B812085D6F47B2DB802CEB59C0A2FFC9528454F49E2266A |
SSDEEP | 768:+PXU63vxU09pLYQxuRu91dTdqw58f2EMJogg1hzzudtzNd2Q61WZWTIVhXUMTXzi:+/UKD9pLYQxuRu91dTdqw58f2EMJoggd |
TLSH | T1FBE274D6B05A333AABD22DF027081CD9592534FF6C3BC5623AAD8ED55F3D08E82D6614 |
tar:gname | wheel |
tar:uname | root |
hashlookup:parent-total | 23 |
hashlookup:trust | 100 |
The searched file hash is included in 23 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.7/packages//mips64el//frama-c-1.10p1.tgz |
MD5 | 5CEE3B40616EF0891BBA6CF46AB62934 |
SHA-1 | 0F5DC72F98D11A59160DB84C43A4EAE380FE5E1E |
SHA-256 | 0253F8C58DD8392DC782AED304E883AF82147DBD5478270905083BEA2A69CBFF |
SSDEEP | 1572864:aas4WzJJbphrZoQCSuJkjmjYtmlWqUbZMB6R9Giok/lxrxgp05GLKgufiqrrUj4r:M44J37kkj95bZo6L8k/rrasUj8 |
TLSH | T10A18338ED1E513EDAFA4C29185AF8FADF1118F45810A8091816BF5D3363EF3A3B8455B |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//i386//frama-c-1.10p0.tgz |
MD5 | 657B1106CE50AE8213C80F3A55F47696 |
SHA-1 | 100BD90EBCABE436441DE1DEDC2E54BEBF6C0F3E |
SHA-256 | D7A89D04AF9AA0CB1FA00831D85FF941625F87F22E3962F66A1914D4EB3CC65F |
SSDEEP | 1572864:BacfPAojB7cyVdLwJuGLya315JBGLYSmKP/fbZ+7luEXyp63vrL8i:7AgwGJ9W3315JBum0/FolXXd8i |
TLSH | T115F733C95EA1898925EBA5394F3DDEC9F7A02BCB0021ECFD4C3D8F92087E46B8934545 |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.7/packages//i386//frama-c-1.10p1.tgz |
MD5 | 6FF117F41A30AA5BF146D3FBAC56E92A |
SHA-1 | 11389F6AA5C61B17AE25ECAAF3C7333C585B44FF |
SHA-256 | A650E64486606BA4CB86BD8FEED81FD73DE6E8D6166D5CBE4F432E6194D83883 |
SSDEEP | 1572864:PiRIMW2rTgh5/2hTaSXgNf3Qx5dC6dhyxyi40NfulfvDTCjRp8wmKCOl:PcNCpsEN2bC66xyQRulfvGTl |
TLSH | T13DE733A596B9B1CFE89187CF0FB0648B9376E100C546DDCB5889A77FCA94C994043A3F |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.8/packages//sparc64//frama-c-1.10p1.tgz |
MD5 | D842009E7C8E92AF69B635F56AEBAB23 |
SHA-1 | 170F863781C0BA86E0C8A60BB3B6E5BDD6FEF1CB |
SHA-256 | 4FE676E9FDB858886523809230488F016CFCB60F60765780A68CBA35A8B58F82 |
SSDEEP | 1572864:JuvA+Ec3f3ivnBgh03m4lkPJ+qiJX041B20md0YTH5NpW9Zow5KzACBbHy7yVDu+:JuvH/fyvnBB3mBHqjLmddtwsxVH/VDu+ |
TLSH | T13A1833E8E0F003CB219561DBD2A9FCE6CB53E6F3FA696070C3A5874473B6F925542429 |
Key | Value |
---|---|
FileSize | 12086912 |
MD5 | 104A500735E13A8E61EC4AAC568D79A8 |
PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | frama-c-base |
PackageSection | devel |
PackageVersion | 20140301+neon+dfsg-3 |
SHA-1 | 31DF4EA587938E4288764F443DA9544E4D069801 |
SHA-256 | 5AD239FCBB9800A5B372CFB469DC9C18734A75CCC0F41BF953AEC1B6545F73D8 |
Key | Value |
---|---|
FileSize | 19484424 |
MD5 | E09522388269DD983093CF86BC5405AD |
PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | frama-c-base |
PackageSection | devel |
PackageVersion | 20140301+neon+dfsg-3 |
SHA-1 | 481960924FBC103D6DF219B84E1973E69F08B18D |
SHA-256 | 890F56774FFBE68AEB5F6312F0A65C5C3F2B42B51A979589BF5C9EE2EF0FE479 |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//mips64el//frama-c-1.10p0.tgz |
MD5 | DA3D5A4E0C5F83E8D271FB8691BDD65C |
SHA-1 | 4E6DF6ABA2CD0C6D012C409B6C983A3B0BB66407 |
SHA-256 | F613108766399BF1920B452B3ED9D3C0A3825932A71BA55554C85200CDFEC053 |
SSDEEP | 1572864:k81/uKhdP7Ag2hsOqFx5EM2h1gliCC0LU+qirVqRiF/GCYBr/ZzFG/u1OiX:k8wiR7W6OqFk5zlC7LFqYGiF/VYbpGG5 |
TLSH | T1E72833CE979E732914CAB2DA1911DC2450356BA8527C404E89F533DB373EF62AFE2D14 |
Key | Value |
---|---|
FileSize | 18487522 |
MD5 | 7CC68E4370DB0326A1BD7FF9E5268FAB |
PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | frama-c-base |
PackageSection | devel |
PackageVersion | 20140301+neon+dfsg-3 |
SHA-1 | 517F3528518B4A4D19E71E558470B0A46771B388 |
SHA-256 | 777A630A23F710D9CA5108B56F3FE0A650FA73B35A2B70E332C2FC6A699CBA8C |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//sparc64//frama-c-1.10p0.tgz |
MD5 | CE11EBF58BD6A7AE9E53532C9825AFA8 |
SHA-1 | 51BE4B7D12E8BEB7AB9EFECB09AEFDD98CEB993C |
SHA-256 | 45E24784951B993E2E7F1E8D1073DE6E075616F5839C612F0A0D8CAA5F47BA35 |
SSDEEP | 1572864:I9punASjIcgfX9BmQ/adZN2xZX0XF72kFRJeuTSv38gq8XGyEPSO1mvsMkq:IpctjITfX1/aRiZX0oARJeuTJjdu |
TLSH | T19628337E3038CAEFA81D52E9FAAF25A5D8B7B9F34C16304441D511423731CEF4AAE895 |
Key | Value |
---|---|
FileSize | 12198284 |
MD5 | D88FA35467AA24E60FA04640E3BB0CE1 |
PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | frama-c-base |
PackageSection | devel |
PackageVersion | 20140301+neon+dfsg-3 |
SHA-1 | 64AA3060358727008048D0BB24C7BD0F3DC291DD |
SHA-256 | A0C2F2419D0BEF0169EFCD2CF8E70D95D9492280FC2C113D71CE018C60A9EDD2 |