Hi @HamsterExAstris,
by “advanced dataflow bug detection rules,” we mean Symbolic Execution rules.
Here’s the full list:
- S1944
- S2053
- S2222
- S2259
- S2583
- S2589
- S3329
- S3655
- S3900
- S3949
- S3966
- S4158
- S5773
- S4347
- S6781
- S7130
- S7131
- S7133
Cheers!
1 Like