From 30488f4a29e9092e0d0dd304ec113dcc92e171f4 Mon Sep 17 00:00:00 2001 From: Iru Cai Date: Wed, 17 Apr 2019 10:54:51 +0800 Subject: add a trackBranch option --- configs/common/Options.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'configs/common/Options.py') diff --git a/configs/common/Options.py b/configs/common/Options.py index 89a8eda04..6bdfe5250 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -319,6 +319,8 @@ def addCommonOptions(parser): help="choose baseline or defense designs to evaluate") parser.add_option("--useIFT", default=None, action="store", type="int", help="Use information flow tracking.") + parser.add_option("--trackBranch", default=None, action="store", type="int", + help="Track tainted branches in information flow tracking.") parser.add_option("--needsTSO", default=None, action="store", type="int", help="Select TSO or RC. Set unzero to use TSO.") parser.add_option("--allowSpecBuffHit", default=None, action="store", -- cgit v1.2.3