From 1ae76ddbfa64f0018860a33396eb73d9962ed916 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Fri, 22 Feb 2019 21:42:17 -0500
Subject: [PATCH] Add context-sensitivity zafl config
---
peasoup_examples/tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/peasoup_examples/tests/test_cmds.sh b/peasoup_examples/tests/test_cmds.sh
index cc9c33824..5879790e3 100755
--- a/peasoup_examples/tests/test_cmds.sh
+++ b/peasoup_examples/tests/test_cmds.sh
@@ -105,6 +105,9 @@ do_tests()
zafl_fix_map)
zafl.sh $progpath $protected --rida -m --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
+ zafl_context_sensitive)
+ zafl.sh $progpath $protected --rida --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ ;;
zipr)
$PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
--
GitLab