Result for 785D5B31DDD2DF04E12272A8AB1D117595492A30

Search result
Graph view
Children (183)

Query result

Key Value
MD552AA03FE04375B0CE7D1870A4754E511
PackageArchaarch64
PackageDescriptionWhy is a software verification platform that applies formal proving tools to annotated programs. It is currently capable of analysis of C (through "Frama-C"), Java (through the included tool "Krakatoa"), and potentially ML programs with some modification into Why's own ML-like language. Furthermore, Why is capable of analysis of any program that is mapped onto its own internal language. It uses a weakest precondition involving calculus to generate potential theorems necessary for the proof of a program's correctness. It translates these theorems into formats that can be used by external proof assistants (without any extra work Coq, PVS, HOL Light, and Mizar are supported - having one is recommended and both Coq and PVS are packaged for Fedora) and automated theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3, CVC3, and Zenon are supported and Alt-Ergo, CVC3, and Zenon are packaged for Fedora) so that these results can be externally proven, resulting in a proof of program correctness. Note: Each user account must be set up by running "why-config" at the command line (to set up a configuration file).
PackageMaintainerFedora Project
PackageNamewhy
PackageRelease7.fc23
PackageVersion2.35
SHA-1785D5B31DDD2DF04E12272A8AB1D117595492A30
SHA-256853DF81E67CCC9A209002B9A3D8E92B9E13965BBB326BB6E3277C64ABC51FB8D
hashlookup:children-total183
hashlookup:trust50

Network graph view

Children (Total: 183)

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

Key Value
CRC32E09FE048
FileName./usr/share/why/java_api/java/lang/RuntimeException.java
FileSize2935
MD5E563F56A0438B44393B6230151E417BF
OpSystemCode362
ProductCode6664
RDS:package_id119651
SHA-10096BC1F7331ABD72AE31AFF1F50250B5CBDEE08
SHA-25633D96DEC58FC3CE456CFFE822A08C469AD5D06D9BE08A78CABF072C64669CE45
SSDEEP48:n4gk710Zh8QhXP3/aYS/nHtrpHtCVV/vfSYCVV/s:4gSih8afixJpNCXnpCXU
SpecialCode
TLSHT1DC51DE225AC1577221C751F76321E0C2D356A6AF362A2097FCDD863C3F45776533AB82
dbnsrl_legacy
insert-timestamp1679405929.5525637
nsrl-sha256rds241-sha256.zip
sourceRDS.db
Key Value
FileName./usr/share/why/java_api/java/lang/Class.java
FileSize89699
MD57BA3C9675986BCB69D6535C770A899BC
SHA-1044B06A6EBD11AAD141A0B997CE3F6F4D955ED10
SHA-256FA3D3AE499BD1B215BD479CB8113BB4DE66920D50B9491112071365FC804E065
SSDEEP1536:1XkjF3kBvVkF3luCNB223u89JeKPmVprqiSUNiv/kPEK4EtVmqi0Z/iT/JfF:dkjF3IvVkF3luCNEcJXuVprqiSUNiv/X
TLSHT1D3936106A3DA23B2014BC17D9A1A54C4F35ED02B621A5D84BDEE873D6F41F7092736EE
Key Value
FileName./usr/share/doc/why/examples-c/tutorial/modulo.c
FileSize278
MD5161FD79D5EFF3396D2E97045FE6E6679
SHA-10679B261BC688BDF096796D9F0517EE6386F4B55
SHA-256935C379900008FD59B4673C7A84AE490EA7E7EF904E752CA30C9F760641C4119
SSDEEP6:Uz7GFy6HLEv8Fc8OWkyfXR5sjcE5jR78ryzFLh4UYBHHH:UzSFrmNW/HpKR75ObHn
TLSHT197D02B4C94E02D21FA33E23EBA45C425D386C01025C7780230AC13C21FE83717178861
Key Value
FileName./usr/share/icons/hicolor/32x32/apps/why.png
FileSize774
MD581098BDFD446360F3157D8CC4F26908F
SHA-107253C6AFA2201702C13949271543E07A8E01124
SHA-256E6B55F0B1C978188823E9A254FC7ADF747A929338C58B283D253E2BA39030654
SSDEEP24:F/61AenvdpOYj1+UiBsRo9rNhTYvsmqz2cIoOZfz:F/6PKi1+3B+o9phTYvddJt
TLSHT1AD0175C96B56802DEC3F838A320620881A9B450420568F1B60BED8C84AF73E27540E50
Key Value
FileName./usr/share/why/java_api/java/io/OutputStreamWriter.java
FileSize6788
MD5A88113BF3213A986940C0A71ECDE78D8
SHA-108C0FBE1E9E84EEEE2EAA6066F7E1BA758ADDD9A
SHA-256298A9439802110FCF83C344D29D5AAE70A61CF3216A3F1345B01CD4D3C208067
SSDEEP192:D4tkWOtgjsUj7/t2JWFDeHrMTCVixsPk+hUzjQIXW9FUO9MY9A959D:D4trOCgUj7lMWZi4mfPzezVGLFqzB
TLSHT16DE11F129ED20223129312F49B0BE1D9D6A6B17F32668D8074DEEE343F47B3E5621F65
Key Value
FileName./usr/lib64/why/why3/why3.conf
FileSize344
MD56B1BE255423D34054F626475D544F939
SHA-108EB135F33D5DD32AA84A7644B12E5C9A5487B17
SHA-256968A710E7F2848DFAE35CDDBCB876A6D8891FBE87FC2613380ACABB7DDAD7263
SSDEEP6:1ttSNXWdDASytG9yo/PtSN2IHLetG9yovBHQaY2S5qW0MgTtGx2Ncyecvn:LgNWDASy09yuPgNpe09yYG92S52T0cn
TLSHT143E02095813CC16BB0873DC369775C4F24A43ED17014FE900353826CF0153D5821BAF8
Key Value
FileName./usr/share/doc/why/examples/linked-lists/rev.mlw
FileSize1912
MD506E87C5047D2BEB483872A0C038725AC
SHA-10A12123BB2AF936C046C3091204469A81D8D0978
SHA-256FAC0483040CC08DA337C741E351EFD13E9FDE4615543E49AF14DD8C0575AF54B
SSDEEP48:yn24toDvFnBsa7DW7dFiPzFitrnr+arIr9r7P76re9rMXr/Z2hIc9pMXH1Jnx:yn24toDvnsmDSdFiPxitrnrRrIr9r7PS
TLSHT15A41C21146371E305D9212667445D4978A0EDCC3B6EA6A2171CC8B5F2BCB731EF7D709
Key Value
FileName./usr/share/why/java_api/java/util/HashMap.java
FileSize34531
MD549C3F6D77D382684AE0D0E3C28B42423
SHA-10AA6077C2B0A2BB907068AC9A61306C94A5AF9D8
SHA-2562B5EABD5281C52EB18DCA1BDEF1309E425D4E7ED8297AE7131375EBE4E7703B3
SSDEEP384:4uadObj4LA/N0lESchtMDMZTY+m3ndoJLFBqf/h4XOAG/86k3UQ:4ZdOv45lEXtMDysvNSn8ZAG/Ds
TLSHT18FF2844A7FF3933141576178870E91C0E336C07F666A9A90785E4378AF02B7193B6EE6
Key Value
FileName./usr/share/icons/hicolor/22x22/apps/why.png
FileSize490
MD59E09FA13971B56C23FC309E6AF06624E
SHA-10B12421065AB02CB767AEB1DDF932F0B9DEA9682
SHA-2566F23DA196F3EF5E4A445DFACADB3067BF02FA05023D9F37F281908287DD87C6F
SSDEEP12:6v/7/i/6Tp6zBD0dhy+PADdk6lsyTsWSMV70XYUBvpAylrsc:f/616F0dhXPAWfWSSYHdsc
TLSHT183F005D70ED23E7F707918797F539D645C1B500154AE7F1C5651A915250B045494C350
Key Value
FileName./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java
FileSize64
MD57C5274AB7C0409764564080E656F84FF
SHA-10CC0A5D242A0743B8C8ED9244EDCD36905C7C49E
SHA-2564942D460552F62100F3C962F10805FEAB0462C14E791E9F76DE65C5B04527582
SSDEEP3:BrZGHb7v/FpKZAso5n:JZGHXvWZAso5
TLSHT1C3A0220383AB0820000CC00B80F888A0080C30BCA3C8008CC88C32228F003C0C20320B





metalookup is a service from miwakeru.com