Skip to content
@silab-nitkc

silab-nitkc

Software Informatics Lab @ National Institute of Technology, Kumamoto College

Pinned Loading

  1. pukeko pukeko Public

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

    Python 4

  2. hibari-gas hibari-gas Public

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

    Python 7 1

Repositories

Showing 2 of 2 repositories

Top languages

Loading…

Most used topics

Loading…