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
semmle-qlci
0feb7f87e4
Merge pull request #2761 from erik-krogh/UrlSearch
...
Approved by asgerf
2020-03-31 09:46:48 +01:00
semmle-qlci
5c920eb625
Merge pull request #3120 from asger-semmle/js/prefer-typescript-file
...
Approved by esbena
2020-03-31 09:32:14 +01:00
semmle-qlci
73dd4c8686
Merge pull request #3133 from asger-semmle/js/dictionary-taint-step-regression
...
Approved by esbena
2020-03-31 09:28:55 +01:00
Erik Krogh Kristensen
40fd1825e9
autoformat
2020-03-31 09:08:32 +02:00
Jonas Jensen
93f7c950ea
Merge pull request #3152 from dbartol/dbartol/sync-files
...
Move `sync-identical-files.py` into public repo as `sync-files.py`
2020-03-31 08:31:00 +02:00
Taus
e31143c9f8
Merge pull request #2889 from RasmusWL/python-add-custom-sanitizer-example
...
Python: Add example for how to write your own sanitizer
2020-03-30 22:59:56 +02:00
Robert Marsh
4bbf4628d4
Merge pull request #3162 from jbj/argHasPostUpdate-cpp
...
C++: Remove noise from argHasPostUpdate check
2020-03-30 13:20:09 -07:00
Geoffrey White
0cb7d4c82d
C++: Add an explicit test of AllocationFunction and AllocationExpr.
2020-03-30 20:28:21 +01:00
semmle-qlci
3027e5d316
Merge pull request #3161 from Semmle/max-schaefer-patch-1
...
Approved by felicitymay
2020-03-30 19:44:06 +01:00
Erik Krogh Kristensen
7938bc4ed0
improve alert message for js/useless-assignment-to-local
2020-03-30 20:19:50 +02:00
Geoffrey White
b634b59b9c
C++: Merge the two allocators tests.
2020-03-30 18:52:12 +01:00
Peter Stöckli
40c3b5468f
Fix QHelp/XML syntax
2020-03-30 18:55:14 +02:00
Rasmus Wriedt Larsen
6127d8b8f4
Python: Fixup comment alignment
2020-03-30 18:32:31 +02:00
Rasmus Wriedt Larsen
fad03e77cc
Python: Move helper predicate outside of class
...
otherwise the helper predicate can (and sometimes will) be evaluated once _per_
instance of that class.
2020-03-30 18:31:16 +02:00
Rasmus Wriedt Larsen
663dc24753
Python: Apply suggestion from Taus
...
rewrote the qldoc to explain it as well.
2020-03-30 18:29:08 +02:00
Jonas Jensen
531ef64c5d
C++: Fix other copies of the argHasPostUpdate test
2020-03-30 17:45:53 +02:00
Rasmus Wriedt Larsen
0b4bfed726
Merge pull request #3156 from tausbn/python-autoformat-all-ql-files
...
Python: Autoformat all `.ql` files.
2020-03-30 16:24:18 +02:00
Rasmus Wriedt Larsen
573494d313
Merge pull request #3096 from tausbn/python-autoformat-almost-everything
...
Python: Autoformat (almost) all `.qll` files.
2020-03-30 16:19:23 +02:00
Jonas Jensen
dd322be238
C++: Remove noise from argHasPostUpdate check
...
This consistency check seems to have value for AST data flow, but I've
disabled it on the IR for now.
This commit also includes two unrelated changes that seem to fix a
semantic merge conflict.
2020-03-30 15:51:11 +02:00
Max Schaefer
365751412c
Docs: Bump supported Go version.
...
cf https://github.com/github/codeql-go/pull/39
2020-03-30 14:24:22 +01:00
Geoffrey White
6d6ad4a0ae
Merge branch 'master' into sideeffect
2020-03-30 14:16:23 +01:00
