|
|
|
|
|
|
by cjbprime
1959 days ago
|
|
|
Another option: the "reversing" challenges in infosec Capture The Flag competitions regularly require you to work out which constraints a program has implemented and then plug into Z3 or Angr to find a solution, that might be a fun way to learn. |
|
|