File tree Expand file tree Collapse file tree 1 file changed +1
-9
lines changed
cpp/ql/src/experimental/Security/CWE/CWE-703 Expand file tree Collapse file tree 1 file changed +1
-9
lines changed Original file line number Diff line number Diff line change 38
38
fc .getTargetType ( ) .( Class ) .getABaseClass + ( ) .hasGlobalOrStdName ( "exception" ) or
39
39
fc .getTargetType ( ) .( Class ) .getABaseClass + ( ) .hasGlobalOrStdName ( "CException" )
40
40
) and
41
- not fc .isInMacroExpansion ( ) and
42
- not exists ( ThrowExpr texp | fc .getEnclosingStmt ( ) = texp .getEnclosingStmt ( ) ) and
43
- not exists ( FunctionCall fctmp | fctmp .getAnArgument ( ) = fc ) and
44
- not fc instanceof ConstructorDirectInit and
45
- not fc .getEnclosingStmt ( ) instanceof DeclStmt and
46
- not fc instanceof ConstructorDelegationInit and
47
- not fc .getParent ( ) instanceof Initializer and
48
- not fc .getParent ( ) instanceof AllocationExpr and
49
- not fc .getEnclosingStmt ( ) instanceof ReturnStmt and
41
+ fc instanceof ExprInVoidContext and
50
42
msg = "This object does not generate an exception."
51
43
select fc , msg
You can’t perform that action at this time.
0 commit comments