new test case

src/test/java/de/fraunhofer/aisec/codyze/crymlin/WpdsTest.kt

@@ -510,6 +510,38 @@ internal class WpdsTest : AbstractMarkTest() {
         assertFalse(startLineNumbers[18]!!) // EVP_EncryptFinal
     }
 
+    @Test
+    @Throws(Exception::class)
+    fun testWPDSCStyle1() {
+        val findings = performTest("unittests/wpds_cstyle1.c", "unittests/WPDS_c_cpp_style.mark")
+
+        assertTrue { findings.all { !it.isProblem } }
+    }
+    @Test
+    @Throws(Exception::class)
+    fun testWPDSCppStyle1() {
+        val findings = performTest("unittests/wpds_cppstyle1.cpp", "unittests/WPDS_c_cpp_style.mark")
+
+        assertTrue { findings.all { !it.isProblem } }
+    }
+
+    @Test
+    @Throws(Exception::class)
+    fun testWPDSCStyle2() {
+        // missing call to "finish()"
+        val findings = performTest("unittests/wpds_cstyle2.c", "unittests/WPDS_c_cpp_style.mark")
+
+        assertFalse { findings.all { !it.isProblem } }
+    }
+    @Test
+    @Throws(Exception::class)
+    fun testWPDSCppStyle2() {
+        // missing call to "finish()"
+        val findings = performTest("unittests/wpds_cppstyle2.cpp", "unittests/WPDS_c_cpp_style.mark")
+
+        assertFalse { findings.all { !it.isProblem } }
+    }
+
     init {
         // Using WPDS instead of NFA
         tsMode = TypestateMode.WPDS

src/test/resources/unittests/WPDS_c_cpp_style.mark

@@ -0,0 +1,30 @@
+entity Foo {
+  op new {
+    this = Foo_new();
+  }
+
+  op init {
+    Foo_init(this);
+    Foo::init();
+  }
+
+  op work {
+    Foo_work(this, _);
+    Foo::work(_);
+  }
+
+  op finish {
+    Foo_finish(this);
+    Foo::finish();
+  }
+}
+
+rule FooOrder {
+  using Foo as foo
+  ensure order
+    foo.new()?, // only c style
+    foo.init(),
+    foo.work()+,
+    foo.finish()
+  warn
+}

src/test/resources/unittests/wpds_cppstyle1.cpp

@@ -0,0 +1,7 @@
+int somefunc () {
+  Foo f = new Foo();
+  f.init();
+  f.work(null);
+  f.finish();
+  return 0;
+}

src/test/resources/unittests/wpds_cppstyle2.cpp

@@ -0,0 +1,7 @@
+int somefunc () {
+  Foo f = new Foo();
+  f.init();
+  f.work(null);
+  //f.finish();
+  return 0;
+}

src/test/resources/unittests/wpds_cstyle1.c

@@ -0,0 +1,7 @@
+int somefunc () {
+  Foo f = Foo_new();
+  Foo_init(f);
+  Foo_work(f, null);
+  Foo_finish(f);
+  return 0;
+}

src/test/resources/unittests/wpds_cstyle2.c

@@ -0,0 +1,7 @@
+int somefunc () {
+  Foo f = Foo_new();
+  Foo_init(f);
+  Foo_work(f, null);
+  //Foo_finish(f);
+  return 0;
+}