Giters

toponym / bf-symex

Symbolic Execution of Brainfuck

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

bf-symex

Symbolic execution of brainfuck, implemented in Python

About

Symbolic Execution of Brainfuck

License:MIT License

Languages

Language:Python 93.6%Language:Brainfuck 6.4%