Metadata-Version: 2.1
Name: ctadl-taint-front-fact-generator-plugin
Version: 0.0.2
Summary: CTADL TAINT-FRONT fact generator plugin
Home-page: https://github.com/sandialabs/ctadl
Project-URL: Bug Tracker, https://github.com/sandialabs/ctadl/issues
Classifier: Programming Language :: Python :: 3.9
Classifier: Environment :: Console
Classifier: Environment :: Plugins
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE.txt

# CTADL Taint-front Fact Generator Plugin

This project is part of the [CTADL Taint Analyzer](https://github.com/sandialabs/ctadl).

This project provides a plugin for CTADL so that it can perform taint analysis on a custom language called taint-front, useful for hand-writing taint analysis examples.

# Installation

Use pip.

    $ pip install ctadl-taint-front-fact-generator

Afterward, if ctadl is installed, you can do:

    $ ctadl import taint-front example.tnt

See `ctadl --help` for more detauls.

Make sure, when you run ctadl, that [taint-front](https://github.com/sandialabs/ctadl/taint-front) is install and the `taintfront` binary is available in your `PATH`.
If you forget, it'll remind you.

