Commit 084992d

committed

C++: Support overriding existing range bounds

The current support only allows the user to supply bounds for previously unsupported expressions or for variable accesses. This commit allows SimpleRangeAnalysisExprs to override built-in range definitions.

1 parent 951e309 commit 084992dCopy full SHA for 084992d

1 file changed

+360

-358

lines changed

cpp/ql/src/semmle/code/cpp/rangeanalysis
- SimpleRangeAnalysis.qll

1 file changed

+360

-358

lines changed

Comments

(0)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Commit 084992d

1 file changed

1 file changed

File tree

1 file changed

1 file changed

0 commit comments