karthik-d / type-inference-tools-playground Goto Github PK

Experiments and tests on symbolic execution, type inference, and property-guided testing of python code: scripts and codebases.

• HiTyper for Python.
• Atheris for Python.
• CrossHair for Python.
• PyType - Pyhon's type binder.

More information about the datasets used can be found in a dedicated dataset README. The following datasets were used for the experiments.

• ManyTypes4Py.

• Cloned as a Git submodule.
• Installed using pip: pip install ./HiTyper/.
• To experiment with its source code, make changes in the submodule and reinstall with pip.
• To generate TDGs as PDFs, there is a dependecy on GraphViz. Install it as a binary on the system, for instance, using apt: $ apt-get install graphviz.

• Python >= 3.9.x.
• *nix environment.