Erik Krogh Kristensen
|
b2b009cdd9
|
qldoc adjustment
|
2020-04-01 11:34:25 +02:00 |
|
Erik Krogh Kristensen
|
1be326a37b
|
add a CopyStep type-tracking step, for loadStoreSteps that loads and stores the same property
|
2020-04-01 11:21:05 +02:00 |
|
Erik Krogh Kristensen
|
9fc8ed17cd
|
remove unused import
|
2020-04-01 11:18:11 +02:00 |
|
Erik Krogh Kristensen
|
a188c6f804
|
qldoc changes and renaming
|
2020-04-01 11:12:54 +02:00 |
|
Tom Hvitved
|
42e180d6c4
|
Merge pull request #3060 from aschackmull/dataflow/no-param-to-same-param-flow
Dataflow: Exclude param-param flow through with identical params.
|
2020-04-01 09:42:12 +02:00 |
|
Rebecca Valentine
|
093eb71433
|
Python: ObjectAPI to ValueAPI: ReturnValueIgnored: Adds getAReturnType
|
2020-04-01 00:17:12 -07:00 |
|
Rebecca Valentine
|
eb4a567a34
|
Merge branch 'master' into python-objectapi-to-valueapi-signatureoverriddenmethod
|
2020-03-31 23:36:15 -07:00 |
|
Rebecca Valentine
|
eab31d3bef
|
Python: ObjectAPI to ValueAPI: SignatureOverriddenMethod: Updates expected results
|
2020-03-31 23:34:17 -07:00 |
|
Rebecca Valentine
|
0256eb15bf
|
Merge branch 'master' into python-objectapi-to-valueapi-wrongnumberargumentsincall
|
2020-03-31 22:58:11 -07:00 |
|
Rebecca Valentine
|
741317bd05
|
Python: ObjectAPI to ValueAPI: Makes isAbstract a predicate in CallArgs
|
2020-03-31 22:56:44 -07:00 |
|
Rebecca Valentine
|
0b2db56051
|
Python: ObjectAPI to ValueAPI: ObjectAPI.qll: Fixes error in isIterator
|
2020-03-31 22:15:21 -07:00 |
|
Rebecca Valentine
|
42388b0d97
|
Python: ObjectAPI to ValueAPI: ReturnValueIgnored: Adds prototype version of getAnInferredReturnType
|
2020-03-31 22:11:58 -07:00 |
|
Robert Marsh
|
b579e6aabe
|
C++: accept consistency test output
|
2020-03-31 12:56:52 -07:00 |
|
Robert Marsh
|
25f3f67c4a
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
Fixes test conflicts and reveals a bug in parameter handling
|
2020-03-31 12:54:00 -07:00 |
|
Erik Krogh Kristensen
|
49a8a48a72
|
autoformat
|
2020-03-31 20:27:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
f06ae6e9de
|
C++: Accept more test output
|
2020-03-31 19:49:04 +02:00 |
|
Geoffrey White
|
f430cf9d18
|
C++: Use hasGlobalName.
|
2020-03-31 18:11:09 +01:00 |
|
Geoffrey White
|
49f8f24d0d
|
Merge pull request #3128 from jbj/library-overview-assignment
C++: Add AssignExpr + Initializer to library overview page
|
2020-03-31 18:02:11 +01:00 |
|
Peter Stöckli
|
60d5ed9c79
|
Input from Review
|
2020-03-31 18:30:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
97061716f9
|
C++: Accept test output
|
2020-03-31 17:10:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
291df97cd9
|
C++: Also add InitializeDynamicAllocation instruction for NewArrayExpr
|
2020-03-31 17:06:19 +02:00 |
|
Shati Patel
|
e5ad708390
|
Merge pull request #3172 from shati-patel/merge-master-docs
Merge "master" into "docs-preparation" branch
|
2020-03-31 15:58:27 +01:00 |
|
Calum Grant
|
9a5e80667e
|
C#: Address review comments.
|
2020-03-31 15:21:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
b6f93746bf
|
C++: Accept test output
|
2020-03-31 16:00:56 +02:00 |
|
Geoffrey White
|
aa13257c1b
|
C++: Correct QLDoc.
|
2020-03-31 14:37:54 +01:00 |
|
Shati Patel
|
ba1a0da2ab
|
Merge branch 'master' into merge-master-docs
|
2020-03-31 13:09:18 +01:00 |
|
Tom Hvitved
|
4ca5e3755f
|
C#: Add false-positive test for NullMaybe.ql
|
2020-03-31 14:06:16 +02:00 |
|
Erik Krogh Kristensen
|
cec2cd3b14
|
update expected output
|
2020-03-31 14:05:05 +02:00 |
|
Alexander Eyers-Taylor
|
ca9b892519
|
Merge pull request #3143 from ginsbach/the
Uniqueness aggregate in handbook and reference
|
2020-03-31 13:01:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
94f5468504
|
C++: Accept tests
|
2020-03-31 13:56:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
bd89ee13d1
|
C++: Add InitializeDynamicAllocation instruction to NewExpr and NewArrayExpr
|
2020-03-31 13:56:32 +02:00 |
|
Erik Krogh Kristensen
|
64c813612f
|
autoformat
|
2020-03-31 13:56:01 +02:00 |
|
Geoffrey White
|
a75e249112
|
C++: Autoformat test.
|
2020-03-31 12:55:45 +01:00 |
|
Geoffrey White
|
18e60fabaf
|
C++: Model operator delete and operator delete[].
|
2020-03-31 12:55:44 +01:00 |
|
Erik Krogh Kristensen
|
8ae55fb1c4
|
add top level QLDoc to MapAndSet.qll
|
2020-03-31 13:55:34 +02:00 |
|
Erik Krogh Kristensen
|
45797dc729
|
autoformat
|
2020-03-31 13:53:00 +02:00 |
|
Shati Patel
|
01ad297eb0
|
Merge pull request #3170 from shati-patel/21-ql-language
CodeQL docs: Update intros in QL handbook and QL spec
|
2020-03-31 12:39:37 +01:00 |
|
Shati Patel
|
5bf0a087d0
|
Update docs/language/ql-handbook/queries.rst
Co-Authored-By: James Fletcher <42464962+jf205@users.noreply.github.com>
|
2020-03-31 12:25:23 +01:00 |
|
Shati Patel
|
a0158b3917
|
Update intros in QL handbook
|
2020-03-31 11:31:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
688464a00f
|
C++: Add testcases with new and accept output
|
2020-03-31 12:22:07 +02:00 |
|
Jonas Jensen
|
7b7ff1fb3a
|
Merge pull request #3089 from geoffw0/sideeffect
CPP: Add side effect models for strcpy and strcat.
|
2020-03-31 12:11:04 +02:00 |
|
Erik Krogh Kristensen
|
3784b180d8
|
changes based on review
|
2020-03-31 12:07:55 +02:00 |
|
Geoffrey White
|
3b12d1adfd
|
C++: Test getPlacementArgument().
|
2020-03-31 11:06:21 +01:00 |
|
Geoffrey White
|
254c877d0a
|
C++: Deduplicate AllocationExprs.
|
2020-03-31 11:05:50 +01:00 |
|
Geoffrey White
|
259f714d91
|
C++: Model operator new and operator new[].
|
2020-03-31 11:02:52 +01:00 |
|
Geoffrey White
|
ef68bd6bf4
|
C++: Add a test of direct calls to operator new / operator dedelete.
|
2020-03-31 11:01:29 +01:00 |
|
Geoffrey White
|
aa49b35d2c
|
C++: Add an explicit test of DeallocationFunction and DeallocationExpr as well.
|
2020-03-31 10:37:20 +01:00 |
|
Erik Krogh Kristensen
|
546431c83d
|
dataflow and typetracking steps for Maps and Sets
|
2020-03-31 11:21:34 +02:00 |
|
Erik Krogh Kristensen
|
25aea900b6
|
add more dataflow steps for Arrays
|
2020-03-31 11:21:25 +02:00 |
|
Erik Krogh Kristensen
|
a02213e745
|
change LoadStoreStep such that it can store in different property
|
2020-03-31 11:20:57 +02:00 |
|