tag:blogger.com,1999:blog-1763389087122515260.post7890397178327640259..comments2024-02-08T04:43:12.552+00:00Comments on Coding | Reversing: Reversing the petya ransomware with constraint solvers0xechttp://www.blogger.com/profile/14262336219454754553noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-1763389087122515260.post-86549182164619372322019-06-04T05:48:02.786+00:002019-06-04T05:48:02.786+00:00This is what we call an informative post! Thank yo...This is what we call an informative post! Thank you for sharing information about Petya ransomware. I am a regular reader and found many sites talking about <a href="https://www.virusremovalguidelines.com/news/us-cities-are-largely-hit-by-the-ransomware-attack" rel="nofollow">Wannacry ransomware</a> as well. Is it also a big thing?Steve smithhttps://www.blogger.com/profile/06575500047543421650noreply@blogger.comtag:blogger.com,1999:blog-1763389087122515260.post-31970345281681742532016-04-25T18:11:27.903+00:002016-04-25T18:11:27.903+00:00Nice post and informative , i also have found Jig...Nice post and informative , i also have found <a href="http://www.psgeeks.com/malware/jigsaw-ransomware-removal-tool" rel="nofollow"> Jigsaw Ransomware Removal Tool</a> To Decrypt your locked files, and also i found <a href="http://www.psgeeks.com/ps-geeks/ransomware-removal-tool" rel="nofollow"> Ransomeware Removal Tool </a> for decrypting Petya Ransomware.shahbazhttps://www.blogger.com/profile/14265282598731756147noreply@blogger.comtag:blogger.com,1999:blog-1763389087122515260.post-16090925724983161312016-04-23T17:03:39.980+00:002016-04-23T17:03:39.980+00:00This one: http://www.cprover.org/cbmc/
Much better...This one: http://www.cprover.org/cbmc/<br />Much better and simplier than klee and also has a good solver. Not as good as Z3, but usable as pure C.Reini Urbanhttps://www.blogger.com/profile/05895715181237297006noreply@blogger.comtag:blogger.com,1999:blog-1763389087122515260.post-45756233105278921722016-04-23T14:32:26.174+00:002016-04-23T14:32:26.174+00:00Nice work!Nice work!Milad Doorbashhttps://www.blogger.com/profile/00148278019243665416noreply@blogger.comtag:blogger.com,1999:blog-1763389087122515260.post-43666289115220157972016-04-23T14:24:15.553+00:002016-04-23T14:24:15.553+00:00Whats ccmb by the way ? I tried KLEE which works o...Whats ccmb by the way ? I tried KLEE which works on source code, but it never finished. Perhaps too complex. <br />You can check the source here pastebin.com/1QkGhPUD0xechttps://www.blogger.com/profile/14262336219454754553noreply@blogger.comtag:blogger.com,1999:blog-1763389087122515260.post-21420034324557857042016-04-23T09:21:00.562+00:002016-04-23T09:21:00.562+00:00Using cmcb with the direct C source code seems to ...Using cmcb with the direct C source code seems to be easier than translating it to python. WonderingReini Urbanhttps://www.blogger.com/profile/05895715181237297006noreply@blogger.com