silab-nitkc

silab-nitkc

Geek Repo

Software Informatics Lab @ National Institute of Technology, Kumamoto College

Location:Japan

Github PK Tool:Github PK Tool

silab-nitkc's repositories

hibari-gas

An experimental obfuscator for software protection using the SMT-based code generation

Language:PythonLicense:Apache-2.0Stargazers:7Issues:1Issues:3

pukeko

An experimental LLVM-IR code fragment generator using the SMT solver Z3.

Language:PythonStargazers:2Issues:1Issues:0