CTADL Taint-front Fact Generator Plugin
This project is part of the CTADL Taint Analyzer.
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. See the taint-front README for more info.
Installation
Dependency - taint-front fact generator
The taint-front fact generator is written in OCaml and built with dune:
cd taint-front
dune build
dune install
Ensure that the installed binary, taintfront, is on your PATH.
Install plugin
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.
1 maintainer
Release files for ctadl-taint-front-fact-generator-plugin 1.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| ctadl_taint_front_fact_generator_plugin-1.0.0.tar.gz | 6.7 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| ctadl_taint_front_fact_generator_plugin-1.0.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 13.8 kB
Release files / ctadl_taint_front_fact_generator_plugin-1.0.0.tar.gz
| Download URL | ctadl_taint_front_fact_generator_plugin-1.0.0.tar.gz |
|---|---|
| Size | 6.7 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
bafb70cf37ba09699403289cb0dd0cd40d63e8802960e13595305e7e3316cb6a
|
|
BLAKE2b-256 checksum How to use checksums |
ea6ba69db174a82537a448be622947d2662efa648d343ec531d0fec692d0df7b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.12
|
Release files / ctadl_taint_front_fact_generator_plugin-1.0.0-py3-none-any.whl
| Download URL | ctadl_taint_front_fact_generator_plugin-1.0.0-py3-none-any.whl |
|---|---|
| Size | 7.1 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
f37a4b581992a1ae847b9d1eaa20747af109966e7c2eabcd6534dd6b9498764d
|
|
BLAKE2b-256 checksum How to use checksums |
12c5b182a6caa5f41a5c14eb870744a1bc39af09da0de47d2cc80654277bebf8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.13.12
|
