├── .gitattributes ├── .gitignore ├── LICENSE ├── README.md ├── evaluation.ipynb ├── ferret ├── __init__.py ├── boolminprovider.py ├── eggmodel │ ├── bitvec_basic.py │ ├── bitvec_multiset.py │ └── eggmodel.py ├── equalityprovider.py ├── expressionast.py ├── ferret.py ├── llvmliteprovider.py ├── mbablastprovider.py ├── qsynthdb.py ├── qsynthdbserver.py ├── qsynthprovider.py ├── ref │ ├── mbablastproviderref.py │ ├── qsynthproviderref.py │ └── simbaproviderref.py ├── simbaprovider.py └── solvers.py ├── qsynth_table ├── msynth_oracle.db └── msynth_oracle │ ├── 000038.ldb │ ├── 000039.ldb │ ├── 000040.ldb │ ├── CURRENT │ ├── LOCK │ ├── LOG │ ├── LOG.old │ └── MANIFEST-000221 ├── requirements.txt ├── run_eval.py ├── run_tests.py ├── test ├── MBABlast_dataset.py ├── MBAObfuscator_dataset.py ├── MBASolver_dataset.py ├── MSiMBA_dataset.py ├── __init__.py ├── test_llvmlite.py ├── test_mbablast.py ├── test_nastyexpr.py ├── test_qsynth.py └── test_simba.py ├── thirdparty └── external_projects_here └── util ├── egglog-multisets.patch ├── egglog-python-multisets.patch ├── install.sh ├── pyeda-nowarning.patch └── run_gamba_eval.py /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/README.md -------------------------------------------------------------------------------- /evaluation.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/evaluation.ipynb -------------------------------------------------------------------------------- /ferret/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/__init__.py -------------------------------------------------------------------------------- /ferret/boolminprovider.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/boolminprovider.py -------------------------------------------------------------------------------- /ferret/eggmodel/bitvec_basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/eggmodel/bitvec_basic.py -------------------------------------------------------------------------------- /ferret/eggmodel/bitvec_multiset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/eggmodel/bitvec_multiset.py -------------------------------------------------------------------------------- /ferret/eggmodel/eggmodel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/eggmodel/eggmodel.py -------------------------------------------------------------------------------- /ferret/equalityprovider.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/equalityprovider.py -------------------------------------------------------------------------------- /ferret/expressionast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/expressionast.py -------------------------------------------------------------------------------- /ferret/ferret.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/ferret.py -------------------------------------------------------------------------------- /ferret/llvmliteprovider.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/llvmliteprovider.py -------------------------------------------------------------------------------- /ferret/mbablastprovider.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/mbablastprovider.py -------------------------------------------------------------------------------- /ferret/qsynthdb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/qsynthdb.py -------------------------------------------------------------------------------- /ferret/qsynthdbserver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/qsynthdbserver.py -------------------------------------------------------------------------------- /ferret/qsynthprovider.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/qsynthprovider.py -------------------------------------------------------------------------------- /ferret/ref/mbablastproviderref.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/ref/mbablastproviderref.py -------------------------------------------------------------------------------- /ferret/ref/qsynthproviderref.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/ref/qsynthproviderref.py -------------------------------------------------------------------------------- /ferret/ref/simbaproviderref.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/ref/simbaproviderref.py -------------------------------------------------------------------------------- /ferret/simbaprovider.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/simbaprovider.py -------------------------------------------------------------------------------- /ferret/solvers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/ferret/solvers.py -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle.db -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/000038.ldb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle/000038.ldb -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/000039.ldb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle/000039.ldb -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/000040.ldb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle/000040.ldb -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/CURRENT: -------------------------------------------------------------------------------- 1 | MANIFEST-000221 2 | -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/LOCK: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/LOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle/LOG -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/LOG.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle/LOG.old -------------------------------------------------------------------------------- /qsynth_table/msynth_oracle/MANIFEST-000221: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/qsynth_table/msynth_oracle/MANIFEST-000221 -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/requirements.txt -------------------------------------------------------------------------------- /run_eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/run_eval.py -------------------------------------------------------------------------------- /run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/run_tests.py -------------------------------------------------------------------------------- /test/MBABlast_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/MBABlast_dataset.py -------------------------------------------------------------------------------- /test/MBAObfuscator_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/MBAObfuscator_dataset.py -------------------------------------------------------------------------------- /test/MBASolver_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/MBASolver_dataset.py -------------------------------------------------------------------------------- /test/MSiMBA_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/MSiMBA_dataset.py -------------------------------------------------------------------------------- /test/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/__init__.py -------------------------------------------------------------------------------- /test/test_llvmlite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/test_llvmlite.py -------------------------------------------------------------------------------- /test/test_mbablast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/test_mbablast.py -------------------------------------------------------------------------------- /test/test_nastyexpr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/test_nastyexpr.py -------------------------------------------------------------------------------- /test/test_qsynth.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/test_qsynth.py -------------------------------------------------------------------------------- /test/test_simba.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/test/test_simba.py -------------------------------------------------------------------------------- /thirdparty/external_projects_here: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /util/egglog-multisets.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/util/egglog-multisets.patch -------------------------------------------------------------------------------- /util/egglog-python-multisets.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/util/egglog-python-multisets.patch -------------------------------------------------------------------------------- /util/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/util/install.sh -------------------------------------------------------------------------------- /util/pyeda-nowarning.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/util/pyeda-nowarning.patch -------------------------------------------------------------------------------- /util/run_gamba_eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Pusty/ferret/HEAD/util/run_gamba_eval.py --------------------------------------------------------------------------------