diff options
| author | Louis Burda <quent.burda@gmail.com> | 2024-04-13 18:25:05 +0200 |
|---|---|---|
| committer | Louis Burda <quent.burda@gmail.com> | 2024-04-13 18:25:05 +0200 |
| commit | 24c7090631c941e9be5c86755037998a3ab02acf (patch) | |
| tree | 82870e593b42226400c1761b6a058a08b643c0b0 | |
| parent | 413e5c55f8ed8ae1b1885eae05062f556050412a (diff) | |
| download | cscg2024-license-master.tar.gz cscg2024-license-master.zip | |
| -rw-r--r-- | solve/notes | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/solve/notes b/solve/notes index 7e97316..c325a79 100644 --- a/solve/notes +++ b/solve/notes @@ -16,9 +16,15 @@ to avoid another blowup, we use lazy evaluation. a hacky way to get simulation state output is to use sigalarm and reschedule in the handler. more standard way is logging.getLogger("..").setLevel(logging.DEBUG) - if angr just fails and you know it should be possible - its probably more -advanced crypto that you would not be able to reverse with symbolic execution anyways +advanced crypto that you would not be able to reverse with symbolic execution anyways. +z3 fails silently - love it! the binarydb is fucked, bad signature matching caused the md5 function to look like it was caused address sanitizer compile.. + +for future interest, the binary in the bndb is patched incorrectly! + +always google those constants quickly, before wasting time + +find out its md5, brute with hashcat after removing two candidates.. 5 min on gtx970 |