Merge branch 'development' into f-OpaquePointers

secure-software-engineering · Jul 31, 2023 · abd879d · abd879d
2 parents 8e4b541 + f1c5865
commit abd879d
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/config/TaintConfigSchema.json b/config/TaintConfigSchema.json
@@ -14,29 +14,36 @@ R"(
             "description": "Version of this taint configuration"
         },
         "functions": {
+            "description": "Array of functions you want to include in your analysis",
             "type": "array",
             "properties": {
                 "name": {
-                    "type": "string"
+                    "type": "string",
+                    "description": "Name of the function in the llvm IR, look for possible mangling"
                 },
                 "ret": {
-                    "enum": ["source", "sink", "sanitizer"]
+                    "enum": ["source", "sink", "sanitizer"],
+                    "description": "Tags the returned value as source sink or sanitizer"
                 },
                 "params": {
+                    "description": "Tags function parameters as source, sink or sanitizer",
                     "properties": {
                         "source": {
+                            "description": "Zero based indices of source tags",
                             "type": "array",
                             "properties": {
                                 "type": ["number", "string"]
                             }
                         },
                         "sink": {
+                            "description": "Zero based indices of sink tags. A Leak is detected if the function gets called with source taged value in this indices.",
                             "type": "array",
                             "properties": {
                                 "type": ["number", "string"]
                             }
                         },
                         "sanitizer": {
+                            "description": "Zero based indices of sanitizer tags",
                             "type": "array",
                             "properties": {
                                 "type": ["number", "string"]

diff --git a/include/phasar/DataFlow/IfdsIde/EdgeFunction.h b/include/phasar/DataFlow/IfdsIde/EdgeFunction.h
@@ -263,7 +263,7 @@ class [[clang::trivial_abi]] EdgeFunction final : EdgeFunctionBase {
       : EdgeFunction(
             [](auto &&...Args) {
               if constexpr (IsSOOCandidate<std::decay_t<ConcreteEF>>) {
-                void *Ret;
+                void *Ret = nullptr;
                 new (&Ret) ConcreteEF(std::forward<ArgTys>(Args)...);
                 return Ret;
               } else {