Skip to content
Snippets Groups Projects
Commit 04f895b6 authored by bdr7fv's avatar bdr7fv
Browse files

Comment in PN wilander test makefile.


Former-commit-id: ed60e127511a565f759032d21806367ccc79871c
parent 45781136
No related branches found
No related tags found
No related merge requests found
......@@ -5,6 +5,10 @@ PROTO2_SRCS=rev_memcpy.c dynamic_testbed.john_wilander.original.c
PROTO2_LIBS=${STRATA}/lib/x86_linux/libstrata.a
progs=wilander_pn
#turning off fix_calls can cause problems in other programs so only
#turn it off for those vulnerable wilander functions. I believe it is safe
#in these cases, and allows for PN to catch more attacks.
ps_analyze_flags=" --step ilr=off\
--step concolic=off\
--step fix_calls=off\
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment