We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 14ce258 commit e370fa2Copy full SHA for e370fa2
1 file changed
cpp/ql/lib/semmle/code/cpp/security/BufferAccess.qll
@@ -19,11 +19,6 @@ abstract class BufferAccess extends Expr {
19
//A buffer access must be reachable (not in dead code)
20
reachable(this)
21
}
22
- BufferAccess() {
23
- not this.isUnevaluated() and
24
- //A buffer access must be reachable (not in dead code)
25
- reachable(this)
26
- }
27
28
abstract string getName();
29
0 commit comments