diff --git a/.inferconfig b/.inferconfig index 7d505a9..473823b 100644 --- a/.inferconfig +++ b/.inferconfig @@ -9,11 +9,7 @@ } ], "enable-issue-type" : [ "PULSE_RESOURCE_LEAK", "TAINT_ERROR", "NULLPTR_DEREFERENCE", "THREAD_SAFETY_VIOLATION" ], - "disable-issue-type" : [ "DOTNET_RESOURCE_LEAK", "PULSE_UNINITIALIZED_VALUE" ], - "debug-level" : 1, - "sarif" : true, - "pulse" : true, - "biabduction" : false, + "pulse-taint-policies": [ { "short_description": "SQL injection risk", "taint_flows": [