Robert Marsh
|
3bbd333336
|
C++: fix missing bounds in exp range analysis
|
2022-08-12 12:33:45 -04:00 |
|
Robert Marsh
|
e6aa2de977
|
C++: semantic range analysis perf fixes
|
2022-08-12 12:28:04 -04:00 |
|
Geoffrey White
|
146318dbc1
|
Merge pull request #8580 from geoffw0/privdata
C++: Port PrivateData.qll from C# and use it in cpp/cleartext-transmission
|
2022-03-31 10:12:46 +01:00 |
|
Geoffrey White
|
e04298d532
|
C++: Delete experimental PrivateData.qll.
|
2022-03-29 15:26:46 +01:00 |
|
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 |
|
Geoffrey White
|
850646b8ba
|
C++: Deprecate the experimental version, forward to the new one.
|
2022-03-28 11:16:56 +01: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 |
|
Erik Krogh Kristensen
|
d17879e1f9
|
run the non-us patch
|
2021-12-20 16:24:41 +01:00 |
|
Nick Rolfe
|
28912c508f
|
Fix non-US spelling of 'behavior'
|
2021-12-17 15:29:31 +00:00 |
|
Jonas Jensen
|
7015be7cad
|
Merge pull request #6916 from geoffw0/fixnotbound
C++: Fix unbound variables in PrivateCleartextWrite.qll.
|
2021-10-19 16:46:42 +02:00 |
|
Geoffrey White
|
38257a58f0
|
C++: Fix unbound variables in PrivateCleartextWrite.qll.
|
2021-10-19 15:01:32 +01:00 |
|
Geoffrey White
|
2e61ae244a
|
C++: Set literals.
|
2021-10-13 16:12:36 +01:00 |
|
Andrew Eisenberg
|
88ceb42356
|
Packaging: Migrate cpp experimental/semmle folder to lib
Also, fix up some library path dependencies.
|
2021-08-17 14:41:41 -07:00 |
|