Dave Bartolomeo
|
c9f79047b3
|
Improve QLDoc
|
2022-03-29 07:27:45 -04:00 |
|
Dave Bartolomeo
|
01c747ccb7
|
Remove debugging code
|
2022-03-29 07:14:51 -04:00 |
|
Dave Bartolomeo
|
606e015afb
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysis.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:35 -04:00 |
|
Dave Bartolomeo
|
e275ab3951
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:15 -04:00 |
|
Dave Bartolomeo
|
6adc11b10e
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:08 -04:00 |
|
Dave Bartolomeo
|
b36281dd8c
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:02 -04:00 |
|
Dave Bartolomeo
|
db4963ada0
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:06:54 -04:00 |
|
Dave Bartolomeo
|
571c034549
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 10:14:45 -04:00 |
|
Dave Bartolomeo
|
f22c91b762
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeUtils.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-15 15:01:32 -04:00 |
|
Dave Bartolomeo
|
c8a0a86354
|
Fix Code Scanning warning
|
2022-03-15 14:53:43 -04:00 |
|
Dave Bartolomeo
|
7623b3d04d
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticType.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-15 14:49:20 -04:00 |
|
Dave Bartolomeo
|
ea9a5b782c
|
Don't bother hiding toString() and getLocation()
|
2022-03-15 14:47:26 -04:00 |
|
Dave Bartolomeo
|
c9fbf83c1c
|
Working range analysis for C++
|
2022-03-15 06:02:54 -04:00 |
|
Dave Bartolomeo
|
f53a66b52a
|
Add working sign and modulus analysis
|
2022-03-15 05:16:23 -04:00 |
|