Published October 15, 2020
| Version 0.1.0
Software
Open
Tool Artifact for "A Binary Decision Diagram Lifted Domain for Analyzing Program Families"
Description
This document shows how to install all required tools from the paper
¨A Binary Decision Diagram Lifted Domain for Analyzing Program Families¨
if there is INTERNET CONNECTION.
The reported results in the paper are obtained on the machine
[Intel Core TM i7-8700 CPU@3.20GHz x 12, 8 GB Memory, 64-bit Ubuntu 18.04.5 LTS]
Files
BDDlifted_analyzer.zip
Files
(238.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d1ce4135bdec17c9862cf24eb90d71f1
|
238.6 kB | Preview Download |