GitHub

To install deps for QED tool, run ./install.sh

To see how QED can be run, see ./run.sh

To generate tested datasets as reported in the paper, run ./dataset-install.sh

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
datasets		datasets
APIAnalysis.py		APIAnalysis.py
BaseAnalysis.py		BaseAnalysis.py
FileDependencyAnalysis.py		FileDependencyAnalysis.py
README.md		README.md
TraceAnalysis.py		TraceAnalysis.py
crypto_desc.py		crypto_desc.py
dataset-install.sh		dataset-install.sh
dataset-make.sh		dataset-make.sh
install.sh		install.sh
mbedtls-install.sh		mbedtls-install.sh
openssl-install.sh		openssl-install.sh
qed.py		qed.py
run.sh		run.sh
tpm-install.sh		tpm-install.sh
wolfssl-install.sh		wolfssl-install.sh

Provide feedback