diff options
Diffstat (limited to 'examples')
| -rwxr-xr-x | examples/cexample.sh | 2 | ||||
| -rwxr-xr-x | examples/cppexample.sh | 3 | ||||
| -rw-r--r-- | examples/cxxexample.cpp (renamed from examples/cppexample.cpp) | 0 | ||||
| -rwxr-xr-x | examples/cxxexample.sh | 3 |
4 files changed, 4 insertions, 4 deletions
diff --git a/examples/cexample.sh b/examples/cexample.sh index eff04e5..89861ab 100755 --- a/examples/cexample.sh +++ b/examples/cexample.sh @@ -1,3 +1,3 @@ #!/bin/bash -gcc-5 -fplugin=../astdumper.so -fplugin-arg-astdumper-command=detectnullpointers cexample.c +gcc-5 -fplugin=../paranucker.so -fplugin-arg-paranucker-command=detectnullpointers cexample.c diff --git a/examples/cppexample.sh b/examples/cppexample.sh deleted file mode 100755 index d6ff401..0000000 --- a/examples/cppexample.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -g++-5 -fplugin=../cppastdumper.so -fplugin-arg-cppastdumper-command=detectnullpointers cppexample.cpp diff --git a/examples/cppexample.cpp b/examples/cxxexample.cpp index 46b3c01..46b3c01 100644 --- a/examples/cppexample.cpp +++ b/examples/cxxexample.cpp diff --git a/examples/cxxexample.sh b/examples/cxxexample.sh new file mode 100755 index 0000000..4c1a5a5 --- /dev/null +++ b/examples/cxxexample.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +g++-5 -fplugin=../cxxparanucker.so -fplugin-arg-cxxparanucker-command=detectnullpointers cxxexample.cpp |