Giters

gsvgit / PySymGym

Python infrastructure to train paths selectors for symbolic execution engines.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

graph-neural-networksmachine-learningsymbolic-execution

PySymGym

Python infrastructure to train paths selectors for symbolic execution engines.

About

Python infrastructure to train paths selectors for symbolic execution engines.

graph-neural-networksmachine-learningsymbolic-execution

License:MIT License

Languages

Language:Python 99.7%Language:Shell 0.3%