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 2

  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
  • pukeko Public

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

    silab-nitkc/pukeko’s past year of commit activity
    Python 2 0 0 0 Updated Mar 19, 2023
  • hibari-gas Public

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

    silab-nitkc/hibari-gas’s past year of commit activity
    Python 7 Apache-2.0 1 0 0 Updated Nov 5, 2021

Top languages

Loading…

Most used topics

Loading…