Method | Description | |
---|---|---|
Convert ( Stream input, IResultLogWriter output ) : void |
Interface implementation that takes a Static Driver Verifier log stream and converts its data to a SARIF json stream. Read in Static Driver Verifier data from an input stream and write Result objects.
|
|
StaticDriverVerifierConverter ( ) : System |
Initializes a new instance of the StaticDriverVerifierConverter class.
|
Method | Description | |
---|---|---|
ConvertToAnnotatedCodeLocationKind ( string sdvKind ) : AnnotatedCodeLocationKind | ||
ConvertToResultLevel ( string sdvLevel ) : ResultLevel | ||
ExtractCallerAndCallee ( string text, string &caller, string &callee ) : bool | ||
IsHarnessOrRulesFiles ( string fileName ) : bool | ||
ProcessLine ( string logFileLine, System.Result result ) : void | ||
ProcessSdvDefectStream ( Stream input ) : System.Result |
public Convert ( Stream input, IResultLogWriter output ) : void | ||
input | Stream | Stream of a Static Driver Verifier log |
output | IResultLogWriter | SARIF json stream of the converted Static Driver Verifier log |
return | void |
public StaticDriverVerifierConverter ( ) : System | ||
return | System |