From b6a8b96b678eeda4f61ee8e20a19a47707537637 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Fri, 26 Jun 2015 01:12:33 +0300
Subject: Rename to Ast dumper to Paranoid null checker.

---
 examples/cexample.sh    |  2 +-
 examples/cppexample.cpp | 77 -------------------------------------------------
 examples/cppexample.sh  |  3 --
 examples/cxxexample.cpp | 77 +++++++++++++++++++++++++++++++++++++++++++++++++
 examples/cxxexample.sh  |  3 ++
 5 files changed, 81 insertions(+), 81 deletions(-)
 delete mode 100644 examples/cppexample.cpp
 delete mode 100755 examples/cppexample.sh
 create mode 100644 examples/cxxexample.cpp
 create mode 100755 examples/cxxexample.sh

(limited to 'examples')

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.cpp b/examples/cppexample.cpp
deleted file mode 100644
index 46b3c01..0000000
--- a/examples/cppexample.cpp
+++ /dev/null
@@ -1,77 +0,0 @@
-class Data1
-{
-    public:
-        int val;
-};
-
-int main(int)
-{
-}
-
-class Object1
-{
-    int k;
-
-    void func1(Data1 *ptr1, Data1 *ptr2)
-    {
-        if (!ptr1 || ptr1->val == 100)
-        {
-            return;
-        }
-
-        ptr1->val = 200;
-    }
-
-    void func2(Data1 *ptr1, Data1 *ptr2)
-    {
-        if (ptr1 && ptr1->val == 100)
-        {
-            ptr1->val = 200;
-            return;
-        }
-
-        ptr1->val = 300;
-    }
-
-    void func3(Data1 *ptr1, Data1 *ptr2)
-    {
-        if (ptr1 || ptr1->val == 100)
-        {
-            return;
-        }
-
-        ptr1->val = 200;
-    }
-
-    void func4(Data1 *ptr1, Data1 *ptr2)
-    {
-        if (!ptr1 && ptr1->val == 100)
-        {
-            return;
-        }
-
-        ptr1->val = 200;
-    }
-
-    void func5(Data1 *ptr1, Data1 *ptr2)
-    {
-        if ((!ptr1 || ptr1->val == 100) || (!ptr2 || ptr2->val == 200))
-        {
-            return;
-        }
-
-        ptr1->val = 300;
-        ptr2->val = 400;
-    }
-
-    void func6(Data1 *ptr1, Data1 *ptr2)
-    {
-        if ((!ptr1 || ptr1->val == 100) && (!ptr2 || ptr2->val == 200))
-        {
-            return;
-        }
-
-        ptr1->val = 300;
-        ptr2->val = 400;
-    }
-};
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/cxxexample.cpp b/examples/cxxexample.cpp
new file mode 100644
index 0000000..46b3c01
--- /dev/null
+++ b/examples/cxxexample.cpp
@@ -0,0 +1,77 @@
+class Data1
+{
+    public:
+        int val;
+};
+
+int main(int)
+{
+}
+
+class Object1
+{
+    int k;
+
+    void func1(Data1 *ptr1, Data1 *ptr2)
+    {
+        if (!ptr1 || ptr1->val == 100)
+        {
+            return;
+        }
+
+        ptr1->val = 200;
+    }
+
+    void func2(Data1 *ptr1, Data1 *ptr2)
+    {
+        if (ptr1 && ptr1->val == 100)
+        {
+            ptr1->val = 200;
+            return;
+        }
+
+        ptr1->val = 300;
+    }
+
+    void func3(Data1 *ptr1, Data1 *ptr2)
+    {
+        if (ptr1 || ptr1->val == 100)
+        {
+            return;
+        }
+
+        ptr1->val = 200;
+    }
+
+    void func4(Data1 *ptr1, Data1 *ptr2)
+    {
+        if (!ptr1 && ptr1->val == 100)
+        {
+            return;
+        }
+
+        ptr1->val = 200;
+    }
+
+    void func5(Data1 *ptr1, Data1 *ptr2)
+    {
+        if ((!ptr1 || ptr1->val == 100) || (!ptr2 || ptr2->val == 200))
+        {
+            return;
+        }
+
+        ptr1->val = 300;
+        ptr2->val = 400;
+    }
+
+    void func6(Data1 *ptr1, Data1 *ptr2)
+    {
+        if ((!ptr1 || ptr1->val == 100) && (!ptr2 || ptr2->val == 200))
+        {
+            return;
+        }
+
+        ptr1->val = 300;
+        ptr2->val = 400;
+    }
+};
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
-- 
cgit v1.2.3-70-g09d2