Erik Krogh Kristensen
|
1f7dda7fbc
|
add dataflow barrier for if(xrandr)
|
2020-02-06 12:55:44 +01:00 |
|
Anders Schack-Mulligen
|
aa8ebf4fe1
|
Merge pull request #2764 from JLLeitschuh/patch-1
Add DefaultFullHttpResponse to Netty Check
|
2020-02-06 12:19:04 +01:00 |
|
Asger Feldthaus
|
0345c48503
|
JS: Bump extractor version string
|
2020-02-06 11:04:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
19e1d82708
|
Merge pull request #2686 from jbj/ir-crement-load
C++: Move the LoadInstruction from `++` to `e` in `e++`.
|
2020-02-06 11:53:55 +01:00 |
|
Rasmus Wriedt Larsen
|
d5c6092920
|
Python: Fix typo (trakcing => tracking)
|
2020-02-06 11:50:44 +01:00 |
|
Asger Feldthaus
|
38ef07ce73
|
JS: Fix join ordering
|
2020-02-06 10:29:05 +00:00 |
|
Mathias Vorreiter Pedersen
|
aaa6233a99
|
C++/C#: Sync identical files
|
2020-02-06 11:24:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
527181bb6f
|
C++: Rename CongruentCopyInstructionTotal to LoadTotalOverlapInstruction and extend LoadInstruction instead of CopyInstruction
|
2020-02-06 11:23:42 +01:00 |
|
Geoffrey White
|
2dfeafac30
|
C++: Interaction with another PR.
|
2020-02-06 10:21:55 +00:00 |
|
semmle-qlci
|
90f94e2e54
|
Merge pull request #2777 from erik-krogh/TaintedPathTests
Approved by esbena
|
2020-02-06 10:18:24 +00:00 |
|
Geoffrey White
|
851c1134f3
|
C++: Add 'strlen' back.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
860d0aa42f
|
C++: Remove single argument functions.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
539d6716f5
|
C++: Remove commented entries.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
d54d7e8410
|
C++: Post-merge fix.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
2fddb09a30
|
C++: New autoformat.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
95c77ca3c6
|
C++: Update comment.
|
2020-02-06 10:17:37 +00:00 |
|
Geoffrey White
|
9c05ffeb3a
|
C++: Emulate old security library's use of predictable more accurately.
|
2020-02-06 10:17:37 +00:00 |
|
Anders Schack-Mulligen
|
75f7671e75
|
Java: Fix .expected
|
2020-02-06 10:27:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
f4bbdee6c2
|
Merge pull request #2745 from Cornelius-Riemenschneider/cpp-range-analysis
C++: Fix bug in range analysis.
|
2020-02-06 10:10:06 +01:00 |
|
Erik Krogh Kristensen
|
d8a30c48a3
|
update expected output of TaintedPath tests
|
2020-02-06 09:47:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba395cf11a
|
C++: Update test annotations and accept output
|
2020-02-06 09:26:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
cfcf087d3c
|
C++: Add comment explaining buggy value number
|
2020-02-06 09:26:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
4f2775012a
|
C++/C#: Sync identical files
|
2020-02-06 09:26:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
5e5bd92cba
|
C++: Accept output
|
2020-02-06 09:26:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
54f0b4a099
|
C++: Add more support for load instructions
|
2020-02-06 09:21:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
687dcb7ad1
|
C++: Add testcase demonstrating unexpectly different value numbers
|
2020-02-06 09:21:42 +01:00 |
|
Jonas Jensen
|
91927c9039
|
Merge remote-tracking branch 'upstream/master' into ir-crement-load
Conflicts:
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir_unsound.expected
|
2020-02-06 08:37:09 +01:00 |
|
Jonas Jensen
|
c0417ac161
|
Merge pull request #2740 from dbartol/dbartol/InitializeNonLocal
C++: Prevent `AliasedVirtualVariable` from overlapping string literals
|
2020-02-06 08:28:01 +01:00 |
|
semmle-qlci
|
5125dc7939
|
Merge pull request #2730 from esbena/js/model-path-parse
Approved by asgerf
|
2020-02-05 21:35:55 +00:00 |
|
Dave Bartolomeo
|
e06f468b59
|
C++: Fix test expectations after EDG update
|
2020-02-05 14:34:29 -07:00 |
|
Cornelius Riemenschneider
|
7f7cc7bece
|
Include test output for the fixed test.
|
2020-02-05 22:33:26 +01:00 |
|
Cornelius Riemenschneider
|
c941348fea
|
Fix test so it actually shows up in the test output.
|
2020-02-05 22:29:44 +01:00 |
|
Dave Bartolomeo
|
c53f80175f
|
Merge pull request #2750 from Cornelius-Riemenschneider/cpp-range-analysis-casts
C++: Support implicit casts better in range analysis
|
2020-02-05 13:59:09 -07:00 |
|
Jonas Jensen
|
81b1bd4177
|
Merge pull request #2769 from aschackmull/java/perf-regression
Java: Improve performance.
|
2020-02-05 20:15:18 +01:00 |
|
Tom Hvitved
|
69d9d4122a
|
C#: Add change note
|
2020-02-05 20:12:41 +01:00 |
|
Tom Hvitved
|
85e6b24c49
|
C#: Remove false positives for cs/useless-assignment-to-local
|
2020-02-05 20:12:39 +01:00 |
|
Tom Hvitved
|
d9f9fc510f
|
C#: Add more tests for cs/useless-assignment-to-local
|
2020-02-05 20:11:22 +01:00 |
|
Dave Bartolomeo
|
4c31c038b8
|
Merge from master
|
2020-02-05 11:23:14 -07:00 |
|
Dave Bartolomeo
|
4362bdb626
|
C++: Accept new test output
|
2020-02-05 10:56:40 -07:00 |
|
Dave Bartolomeo
|
1b6de4b32f
|
C++: Fix formatting
|
2020-02-05 10:55:49 -07:00 |
|
Jonathan Leitschuh
|
60f2fa9eb9
|
Update java/ql/src/Security/CWE/CWE-113/NettyResponseSplitting.ql
|
2020-02-05 12:45:47 -05:00 |
|
Jonas Jensen
|
a0e2d59c01
|
C++: Add tests for global-var support
|
2020-02-05 16:31:13 +01:00 |
|
Jonas Jensen
|
f40acc19d2
|
C++: Use VariableNode in DefaultTaintTracking
|
2020-02-05 16:29:13 +01:00 |
|
Jonas Jensen
|
6d081a997a
|
C++: Add VariableNode
|
2020-02-05 16:29:13 +01:00 |
|
Jonas Jensen
|
73e34f1447
|
C++: Refactor to separate out InstructionNode
This commit prepares the IR data-flow library for having more than one
type of data-flow node.
|
2020-02-05 16:29:13 +01:00 |
|
Jonas Jensen
|
cdfcee3ae9
|
Merge remote-tracking branch 'upstream/master' into ir-crement-load
Conflicts:
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
|
2020-02-05 16:13:21 +01:00 |
|
Anders Schack-Mulligen
|
ba86dea657
|
Java: Improve taint step modeling to use postupdate nodes.
|
2020-02-05 15:33:29 +01:00 |
|
Anders Schack-Mulligen
|
07482abed7
|
Java/C++/C#: Sync.
|
2020-02-05 15:17:20 +01:00 |
|
Anders Schack-Mulligen
|
274919ca08
|
Java: Fix recent perf regressions.
|
2020-02-05 15:15:15 +01:00 |
|
yo-h
|
b5f3d776bf
|
Merge pull request #2759 from aschackmull/java/taint-tests
Java: Move some taint tests.
|
2020-02-05 09:09:43 -05:00 |
|