Geek Repo
Software Informatics Lab @ National Institute of Technology, Kumamoto College
Location:Japan
Github PK Tool:Github PK Tool
An experimental obfuscator for software protection using the SMT-based code generation
An experimental LLVM-IR code fragment generator using the SMT solver Z3.