Geoffrey White
|
61158e759b
|
C++: Improve StdContainerConstructor model.
|
2020-08-20 11:04:59 +01:00 |
|
Geoffrey White
|
acd1437103
|
C++: Change note.
|
2020-08-20 10:46:12 +01:00 |
|
Geoffrey White
|
f2ac4fa94a
|
C++: Autoformat.
|
2020-08-20 10:44:54 +01:00 |
|
Chris Smowton
|
ce93a449fa
|
Merge pull request #295 from owen-mc/remove-gin-change-note
Remove gin change note
|
2020-08-20 10:39:13 +01:00 |
|
Geoffrey White
|
cda9fd250b
|
C++: Model vector methods.
|
2020-08-20 10:30:01 +01:00 |
|
Owen Mansel-Chan
|
41e98d6afc
|
Remove change note so it isn't accidentally put into this release
|
2020-08-20 10:27:51 +01:00 |
|
Owen Mansel-Chan
|
53cc3621ad
|
Change date on Gin change note
The Gin model wasn't added to the default imports
till 2020-08-19
|
2020-08-20 10:27:41 +01:00 |
|
Geoffrey White
|
620126d38c
|
C++: Add vector taint cases to test.
|
2020-08-20 10:27:25 +01:00 |
|
Philip Ginsbach
|
1149d43488
|
remove reliance on InferredBinding from InsecureFeatureFlag::getAFlagName
|
2020-08-20 10:26:46 +01:00 |
|
Erik Krogh Kristensen
|
8f68f512df
|
deprecate TrackedNodes.qll
|
2020-08-20 11:26:22 +02:00 |
|
Geoffrey White
|
43c8efdf63
|
C++: Repair the range based for test.
|
2020-08-20 10:19:54 +01:00 |
|
CodeQL CI
|
6adedac337
|
Merge pull request #4096 from erik-krogh/qlMod
Approved by esbena
|
2020-08-20 10:05:30 +01:00 |
|
Geoffrey White
|
8afa92d881
|
C++: Add more detail to the vector class in the test stl.h.
|
2020-08-20 09:39:35 +01:00 |
|
Tom Hvitved
|
65b4d35add
|
Merge pull request #4055 from tamasvajk/feature/partial-methods
C#: Add body to partial methods
|
2020-08-20 10:14:56 +02:00 |
|
Tom Hvitved
|
6dc1244410
|
Merge pull request #4064 from hvitved/csharp/gvn-speedup
C#: Speed up `Implements.qll` and `Unification.qll`
|
2020-08-20 10:11:36 +02:00 |
|
Mathias Vorreiter Pedersen
|
aa522b54c1
|
Merge pull request #4098 from jbj/SimpleRangeAnalysis-mul-constant
C++: Support multiplication by constants in range analysis
|
2020-08-20 09:22:05 +02:00 |
|
Erik Krogh Kristensen
|
5b42e242af
|
add change note for supporting ".cjs" files
|
2020-08-20 09:18:26 +02:00 |
|
Chris Smowton
|
89e420d49f
|
Merge pull request #294 from smowton/smowton/admin/reenable-checkout-v2
Revert "Downgrade to checkout@v1 to work around https://github.com/actions/checkout/issues/237"
|
2020-08-20 07:48:12 +01:00 |
|
Jonas Jensen
|
b1c0e6f626
|
Merge remote-tracking branch 'upstream/main' into SimpleRangeAnalysis-mul-constant
|
2020-08-20 08:20:31 +02:00 |
|
Robert Marsh
|
6b1243e8b4
|
C++: respond to PR comments on Iterator.qll
|
2020-08-19 16:23:00 -07:00 |
|
Robert Marsh
|
20188b7bc2
|
C++: input iterator models
|
2020-08-19 12:11:36 -07:00 |
|
Robert Marsh
|
d32d6c9d8d
|
WIP: more iterator cases
|
2020-08-19 11:51:41 -07:00 |
|
Robert Marsh
|
d50dd090be
|
C++: rename to Iterator*Operator
|
2020-08-19 11:51:41 -07:00 |
|
Robert Marsh
|
85af74eb06
|
C++: Models for bidirectional input iterators
|
2020-08-19 11:51:41 -07:00 |
|
Robert Marsh
|
a457d54ad1
|
Merge pull request #4078 from jbj/SimpleRangeAnalysis-AssignMulExpr
C++: Range analysis for unsigned AssignMulExpr
|
2020-08-19 14:42:04 -04:00 |
|
Chris Smowton
|
9b9b0b217e
|
Revert "Downgrade to checkout@v1 to work around https://github.com/actions/checkout/issues/237"
This reverts commit 8aaa7c8925.
The bug it was working around (if it ever did) has been fixed.
|
2020-08-19 17:53:25 +01:00 |
|
Owen Mansel-Chan
|
0260438ff3
|
Merge pull request #293 from owen-mc/import-gin-framework-by-default
Import Gin framework by default
|
2020-08-19 17:24:29 +01:00 |
|
Rasmus Lerchedahl Petersen
|
18e946d4aa
|
Python: Small rearrangement
|
2020-08-19 17:56:02 +02:00 |
|
Chris Smowton
|
33d35112e1
|
Merge pull request #292 from smowton/smowton/admin/document-public-predicates
Document undocumented public symbols
|
2020-08-19 15:52:06 +01:00 |
|
Jonas Jensen
|
b14bc42756
|
Merge pull request #4090 from geoffw0/strmethods
C++: Model taint through many more methods in std::string
|
2020-08-19 16:40:46 +02:00 |
|
Owen Mansel-Chan
|
35e336fe96
|
Add tests for sanitizers and sanitizer guards
|
2020-08-19 15:36:48 +01:00 |
|
Owen Mansel-Chan
|
17b3d56195
|
Remove unnecessary string concat
|
2020-08-19 15:36:48 +01:00 |
|
Owen Mansel-Chan
|
103e655395
|
Import Gin framework by default
|
2020-08-19 15:26:12 +01:00 |
|
Tom Hvitved
|
a23bb6d5ec
|
Merge pull request #4095 from hvitved/csharp/dataflow/ap5
C#: Increase `accessPathLimit` from 3 to 5
|
2020-08-19 16:12:22 +02:00 |
|
Chris Smowton
|
60d3de1911
|
Document undocumented public symbols
|
2020-08-19 14:29:12 +01:00 |
|
Jonas Jensen
|
21d16d13fc
|
Merge remote-tracking branch 'upstream/main' into SimpleRangeAnalysis-AssignMulExpr
|
2020-08-19 14:50:40 +02:00 |
|
Anders Schack-Mulligen
|
e7709f73e9
|
Merge pull request #4099 from hvitved/java/dataflow/unique-encl-callable
Java: Use `unique` aggregate in `Node::getEnclosingCallable()`
|
2020-08-19 13:30:01 +02:00 |
|
Anders Schack-Mulligen
|
28578fd572
|
Java: Autoformat.
|
2020-08-19 13:12:24 +02:00 |
|
Jonas Jensen
|
83884c0dc5
|
Merge pull request #4089 from jbj/jbj/printFloat-precise
C++: Accept float.toString changes in tests
|
2020-08-19 12:58:27 +02:00 |
|
Rasmus Lerchedahl Petersen
|
bd53a711d3
|
Merge branch 'main' of github.com:github/codeql into SharedDataflow_SequenceFlow
|
2020-08-19 11:42:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
eed6fe96ae
|
Merge branch 'main' into alternative-instruction-operand-flow
|
2020-08-19 11:18:51 +02:00 |
|
Erik Krogh Kristensen
|
3d5c1560e4
|
basic support for .cjs files
|
2020-08-19 10:53:57 +02:00 |
|
Erik Krogh Kristensen
|
103f739d16
|
add test for types of modules
|
2020-08-19 10:52:38 +02:00 |
|
Jonas Jensen
|
3e8f62fa5f
|
Merge pull request #4100 from nickrolfe/ssa_errors
C++: fix compilation errors in ssa.cpp
|
2020-08-19 09:58:49 +02:00 |
|
CodeQL CI
|
2319c289aa
|
Merge pull request #4092 from erik-krogh/strictExtractor
Approved by esbena
|
2020-08-19 08:47:07 +01:00 |
|
Rasmus Lerchedahl Petersen
|
176aa06fad
|
Python: Address review comments
|
2020-08-19 09:21:16 +02:00 |
|
yoff
|
5e84754f73
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-08-19 08:03:47 +02:00 |
|
yoff
|
06bd436aea
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-08-19 08:02:53 +02:00 |
|
yoff
|
8fbb447f4c
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-19 08:02:29 +02:00 |
|
yoff
|
1c3b945e55
|
Update python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
Co-authored-by: Taus <tausbn@github.com>
|
2020-08-19 08:01:54 +02:00 |
|