Tom Hvitved
413926f675
C#: Prepend enclosing method in local function TRAP labels
2019-10-01 10:25:18 +02:00
Robert Marsh
d1e2ddcf99
C#: sync unalised_ssa IR stage and add to check
2019-09-30 12:53:00 -07:00
Robert Marsh
ee3b40bd89
C#: sync changes and accept test output
2019-09-30 12:00:55 -07:00
Robert Marsh
a45a6e48f8
C++: remove side effect operands from non-reads
2019-09-30 12:00:55 -07:00
Robert Marsh
9f20cb83c3
C++/C#: Autoformat
2019-09-30 12:00:55 -07:00
Robert Marsh
fcfc11052a
C++: add QLDoc to side effect functions
2019-09-30 12:00:54 -07:00
Robert Marsh
8649978a43
C++: add indexes for specific side effects
2019-09-30 12:00:53 -07:00
Robert Marsh
24574be007
C++: add SizedBuffer side effect instructions
2019-09-30 12:00:53 -07:00
Robert Marsh
554d6390f7
C++: clean up after rebase
2019-09-30 12:00:53 -07:00
Robert Marsh
49088e7f09
C++: Fix formatting and dropped line
2019-09-30 12:00:53 -07:00
Robert Marsh
3d562243e4
C++: add side effects for outparams
2019-09-30 12:00:52 -07:00
Ziemowit Laski
a0cbd87d1f
[zlaski/memset-model] Rename predicate usage as per PR/1938.
2019-09-30 10:47:59 -07:00
Ziemowit Laski
ae169e9c33
[zlaski/memset-model] Add AliasFunction as base class of MemsetFunction; override predicates parameterNeverEscapes, parameterEscapesOnlyViaReturn and parameterIsAlwaysReturned.
2019-09-30 10:44:12 -07:00
Ziemowit Laski
aaa2a60b93
[zlaski/memset-model] Remove taint tracking from Memset.qll. Add Memset.qll to Models.qll.
2019-09-30 10:44:12 -07:00
Ziemowit Laski
144aacb09d
[zlaski/memset-model] New Memset.qll file.
2019-09-30 10:44:12 -07:00
Tom Hvitved
4f2ca11d2c
C#: Suppress cs/similar-file alerts
2019-09-30 19:26:02 +02:00
Calum Grant
ad8ae35c82
Merge pull request #1956 from hvitved/csharp/get-an-out-node
...
C#: Refactor `getAnOutNode()` predicate
2019-09-30 16:58:21 +01:00
Matthew Gretton-Dann
b76f66e83b
C++: Add test cases for constant initializers
...
Adds test cases for initialisation of constants which aren't simple
zeros. Example: int x = int();
2019-09-30 14:57:26 +01:00
Taus
fb20cab4c8
Merge pull request #2012 from RasmusWL/python-modernise-cls-self-checks
...
Python: modernise cls self argument name checks
2019-09-30 15:50:32 +02:00
shati-patel
ff093c26a1
Merge pull request #2057 from jf205/small-fixes
...
QL training slides: increase release number and small css tweaks
2019-09-30 14:28:30 +01:00
Jonas Jensen
f417640da4
Merge pull request #1938 from dave-bartolomeo/dave/InNOut
...
C++: Rename predicates in `FunctionInputsAndOutputs.qll` and add QLDoc
2019-09-30 13:30:19 +02:00
james
ff78feeeea
docs: version number and small css tweaks
2019-09-30 12:15:26 +01:00
Erik Krogh Kristensen
0320f0f26b
add query for detecting suspisous method names in TypeScript
2019-09-30 13:05:50 +02:00
Tom Hvitved
c18d0430de
C#: Cleanup more files after failed autobuilder attempt
2019-09-30 12:08:25 +02:00
Taus
9a8b62250f
Merge pull request #2043 from RasmusWL/python-modernise-django
...
Python: modernise django library
2019-09-30 11:57:09 +02:00
Taus
04f14f1fe7
Merge pull request #2040 from RasmusWL/python-modernise-cherrypy
...
Python: Modernise cherrypy library
2019-09-30 11:53:59 +02:00
Taus
fc4a583cd9
Merge pull request #2034 from RasmusWL/python-modernise-bottle
...
Python: modernise bottle
2019-09-30 11:52:16 +02:00
ian-semmle
610188984d
Merge pull request #2031 from matt-gretton-dann/cpp-444-fix-vector_size-INVALID_KEY
...
Update tests for changes to reporting of vector_size attribute
2019-09-30 10:45:37 +01:00
Tom Hvitved
b7595ed60e
C#: Remove duplicated class
2019-09-30 09:11:47 +02:00
Dave Bartolomeo
420713204a
C++, C#: Fix typo
2019-09-29 22:44:17 -07:00
Dave Bartolomeo
043e5f716b
C++, C#: Autoformat
2019-09-29 22:39:09 -07:00
Dave Bartolomeo
c1e5db0b96
C++ More PR feedback
2019-09-27 17:54:18 -07:00
Dave Bartolomeo
bcd987cdf1
Merge from master and share value numbering
2019-09-27 17:40:43 -07:00
Dave Bartolomeo
f76334c24a
C++, C#: Share unaliased SSA files between languages
...
Most of the C# diffs are from bringing those files in sync with the latest C++ files.
2019-09-27 13:46:42 -07:00
Dave Bartolomeo
5585ccd509
C#: Fix up after merge
2019-09-27 12:33:33 -07:00
Taus
387e21e12c
Merge pull request #2044 from AlexTereshenkov/add-py-query-tag
...
Add tags tag to a Python query
2019-09-27 17:54:54 +02:00
Calum Grant
abdf7ce223
Merge pull request #2045 from AndreiDiaconu1/ircsharp-various-fixes
...
C# IR: Minor sanity fixes
2019-09-27 15:51:07 +01:00
Calum Grant
09f441a27e
Merge pull request #2009 from AndreiDiaconu1/ircsharp-rangeanalysis
...
C# IR: Add range analysis library
2019-09-27 14:27:41 +01:00
Taus Brock-Nannestad
c5c84a11d8
Python: Autoformat.
2019-09-27 15:22:12 +02:00
Taus Brock-Nannestad
aa16d20d5a
Python: Fix false positive for cyclic imports guarded by if False:.
2019-09-27 15:22:12 +02:00
AndreiDiaconu1
c5cd5f489f
Autoformat
2019-09-27 13:07:20 +01:00
Taus Brock-Nannestad
921371d544
Python: Modernise the cyclic import queries.
2019-09-27 13:51:56 +02:00
alexey
70eca91d28
Add tags tag to a Python query
2019-09-27 12:36:38 +01:00
AndreiDiaconu1
f5b31ae9f5
Static fields
...
The translation of static fields now uses `VariableAddress` instead of `FieldAddress`. This fixes the logic as well as the "field address without qualifier address" sanity check.
2019-09-27 12:21:47 +01:00
AndreiDiaconu1
21513102f7
Compiler generated constructor
...
Fixed a problem when the translating the compiler generated constructors that caused some sanity errors (since they have no body, when translating the constructor block fragmentation happened). Fixed this by skipping the translation of the body, if it does not exist (when translating a function).
2019-09-27 12:20:39 +01:00
Rasmus Wriedt Larsen
fc59b10ba4
Python: Autoformat (4 spaces) django library
2019-09-27 13:15:28 +02:00
Rasmus Wriedt Larsen
f4e0abd4c4
Python: Modernise django library
2019-09-27 13:14:52 +02:00
Rasmus Wriedt Larsen
bc8e4d2005
Python: Autoformat (4 spaces) cherrypy library
2019-09-27 13:06:09 +02:00
Taus Brock-Nannestad
9878e4fe26
Python: Apply four-space autoformat.
2019-09-27 13:04:17 +02:00
Taus Brock-Nannestad
4341e88fc4
Python: Clean up comments in preparation for autoformat.
2019-09-27 13:03:27 +02:00
