Jonas Jensen
|
bca1be0601
|
Merge pull request #2135 from zlaski-semmle/zlaski/memset-model
[zlaski/memset-model] Add side effect modeling to Memset.
|
2019-10-16 08:49:24 +02:00 |
|
Ziemowit Laski
|
fcc1938143
|
[zlaski/memset-model] Ctrl+Shift+F.
|
2019-10-15 15:03:58 -07:00 |
|
Ziemowit Laski
|
2ca52a4124
|
[zlaski/memset-model] Add side effect modeling to Memset.
|
2019-10-15 14:43:39 -07:00 |
|
Matthew Gretton-Dann
|
692c29d095
|
C++: Test fun_decl for INVALID_KEYs
|
2019-10-15 14:47:32 +01:00 |
|
Matthew Gretton-Dann
|
0f6d64e27e
|
C++: Update schema stats
|
2019-10-15 14:42:57 +01:00 |
|
Matthew Gretton-Dann
|
f98d20c33a
|
C++: Update var_decls, fun_decls keysets.
|
2019-10-15 14:42:57 +01:00 |
|
Tom Hvitved
|
cae7f9d805
|
Merge pull request #2099 from aschackmull/java/callcontext-bool-pruning
Java: Data-flow pruning based on call contexts.
|
2019-10-15 09:36:36 +02:00 |
|
Jonas Jensen
|
527ec4a9e4
|
Merge pull request #2122 from geoffw0/bitsign2
CPP: BitwiseSignCheck.ql fix
|
2019-10-14 15:47:36 +02:00 |
|
Nick Rolfe
|
22fa657818
|
C++: update stats for @builtincomplex
|
2019-10-14 11:31:59 +01:00 |
|
Nick Rolfe
|
6c83c76268
|
C++: add a test for __builtin_complex
|
2019-10-14 11:31:59 +01:00 |
|
Nick Rolfe
|
682832fc55
|
C++: add an expr kind for __builtin_complex
|
2019-10-14 11:31:58 +01:00 |
|
Geoffrey White
|
ff8e04aa99
|
CPP: Fix bug.
|
2019-10-14 11:00:43 +01:00 |
|
Geoffrey White
|
62625cc454
|
CPP: Extend the test.
|
2019-10-14 10:44:04 +01:00 |
|
zlaski-semmle
|
ae0c4e449f
|
Merge pull request #1925 from geoffw0/qldoceg10
CPP: Add syntax examples to QLDoc in Access.qll, Declaration.qll
|
2019-10-11 12:19:18 -07:00 |
|
Geoffrey White
|
0398681b84
|
CPP: Autoformat.
|
2019-10-11 17:30:29 +01:00 |
|
Jonas Jensen
|
c99845ce5d
|
Merge pull request #2035 from geoffw0/comparison
CPP: Unclear comparison precedence template fix
|
2019-10-10 16:31:54 +02:00 |
|
Geoffrey White
|
d8f3422375
|
CPP: Reword and clarify.
|
2019-10-10 10:04:32 +01:00 |
|
Geoffrey White
|
393c9e9247
|
CPP: QLDoc example for ImplicitThisFieldAccess.
|
2019-10-10 10:04:32 +01:00 |
|
Geoffrey White
|
1c0fdef0a8
|
CPP: Add a simplified test case for ImplicitThisFieldAccess.
|
2019-10-10 10:04:32 +01:00 |
|
Geoffrey White
|
e45ea90428
|
CPP: Backticks.
|
2019-10-10 10:04:31 +01:00 |
|
Geoffrey White
|
5fe69c7658
|
CPP: QLDoc fix for Stmt.qll.
|
2019-10-10 10:04:31 +01:00 |
|
Geoffrey White
|
85063760af
|
CPP: Examples Declaration.qll.
|
2019-10-10 10:04:31 +01:00 |
|
Geoffrey White
|
3e46494c3a
|
CPP: Clarify the Declaration / DeclarationEntry relationship around definitions, as there has been confusion over this.
|
2019-10-10 10:04:31 +01:00 |
|
Geoffrey White
|
bc4363bc22
|
CPP: Add a test of FunctionAccess and cases for FieldAccess.
|
2019-10-10 10:04:31 +01:00 |
|
Geoffrey White
|
4543aaf5dd
|
CPP: Examples Access.qll.
|
2019-10-10 10:04:31 +01:00 |
|
Geoffrey White
|
b10988faec
|
CPP: Fix the query.
|
2019-10-10 09:15:19 +01:00 |
|
Geoffrey White
|
3f167a6f15
|
CPP: Add a test involving templates.
|
2019-10-10 09:15:19 +01:00 |
|
Geoffrey White
|
4fc73cab63
|
CPP: Add a test of ComparisonPrecedence.ql.
|
2019-10-10 09:15:19 +01:00 |
|
zlaski-semmle
|
8896fa5bc9
|
Merge pull request #1924 from geoffw0/quickfix
CPP: Tiny qldoc fixes.
|
2019-10-09 14:52:54 -07:00 |
|
Anders Schack-Mulligen
|
e123f97303
|
Java: Remove useless pruning.
|
2019-10-09 09:35:30 +02:00 |
|
Jonas Jensen
|
daabb2c5d0
|
Merge pull request #2082 from rdmarsh2/rdmarsh/cpp/ir-getASTVariable
IR: add getASTVariable to VariableInstruction
|
2019-10-09 08:56:01 +02:00 |
|
Anders Schack-Mulligen
|
5e0ce81030
|
Java: Refactor to improve join-pipeline.
|
2019-10-08 17:15:06 +02:00 |
|
Anders Schack-Mulligen
|
20084fb3c0
|
Java: Fix pruning in partialPathStep.
|
2019-10-08 11:28:53 +02:00 |
|
Anders Schack-Mulligen
|
bf14889077
|
Java: Refactor to improve performance.
|
2019-10-08 11:28:35 +02:00 |
|
Anders Schack-Mulligen
|
f8123679a1
|
Java: Qldoc updates.
|
2019-10-07 16:12:31 +02:00 |
|
Anders Schack-Mulligen
|
75ebc098bb
|
Java: Fix semantic merge conflict.
|
2019-10-07 15:42:26 +02:00 |
|
Anders Schack-Mulligen
|
b581e38782
|
Java: Autoformat and sync post rebase.
|
2019-10-07 15:26:39 +02:00 |
|
Tom Hvitved
|
ee5503146e
|
Add stub implementations for isUnreachableInCall()
|
2019-10-07 15:13:49 +02:00 |
|
Tom Hvitved
|
eabfa31767
|
Synchronize data flow files
|
2019-10-07 15:13:48 +02:00 |
|
Jonas Jensen
|
6c87d75190
|
Merge pull request #2088 from geoffw0/swap3
CPP: Add taint tests.
|
2019-10-04 20:44:18 +02:00 |
|
Robert Marsh
|
7fefe4385a
|
Merge pull request #1963 from jbj/predictableInstruction
C++: Implement predictableInstruction without Expr
|
2019-10-04 10:04:52 -07:00 |
|
Geoffrey White
|
050d99fa87
|
CPP: Add test cases.
|
2019-10-04 17:44:27 +01:00 |
|
ian-semmle
|
ebc10cf5db
|
Merge pull request #2084 from matt-gretton-dann/cpp-445-synthetic_destructor_call-INVALID_KEY-warnings
Update keysets for synthetic_destructor_call and *variables tuple
|
2019-10-04 16:38:35 +01:00 |
|
Geoffrey White
|
0e478d1c0e
|
Merge pull request #2066 from jbj/dataflow-conditionAlwaysTrue-perf
C++: Improve join orders for QL CFG
|
2019-10-04 14:16:41 +01:00 |
|
Geoffrey White
|
e465f4cc81
|
Merge pull request #2064 from jbj/leapyear-extends-abstract
C++: Avoid `extends Operation` in LeapYear.qll
|
2019-10-04 14:15:21 +01:00 |
|
Tom Hvitved
|
9b58d799cb
|
Java/C++/C#: Tweak AccessPathNil::toString()
Move the type annotation outside the brackets, to avoid prefixes such as
`[ : T]`.
|
2019-10-04 11:09:44 +02:00 |
|
Robert Marsh
|
6e587f3f2a
|
IR: Add VariableInstruction.getASTVariable
|
2019-10-03 13:12:06 -07:00 |
|
Robert Marsh
|
c1e3821ab0
|
IR: rename getVariable to getIRVariable
|
2019-10-03 13:10:49 -07:00 |
|
Matthew Gretton-Dann
|
618d0a9603
|
C++: Update DB Stats
|
2019-10-03 15:16:50 +01:00 |
|
Matthew Gretton-Dann
|
a7f682a9be
|
C++: Update *variables keysets.
|
2019-10-03 15:16:50 +01:00 |
|