Ian Lynagh
9265540704
Merge pull request #2911 from matt-gretton-dann/ql-docs/update-supported-languages
...
QL docs: update supported C/C++ language versions
2020-03-11 12:14:14 +00:00
Anders Schack-Mulligen
e1a0c2d846
Java: Add minor test case to typeflow qltest.
2020-03-11 13:13:19 +01:00
Erik Krogh Kristensen
cb5ef7dbed
add basic support for jqXHR with ajax calls
2020-03-11 13:05:41 +01:00
Rasmus Wriedt Larsen
b760b1f1f2
Python: Django: Don't require viewFunction to mark as route
...
It's very nice to be able to see all the DjangoRoutes even if we don't know the
function that is used to handle the request, at least for debugging.
2020-03-11 12:37:18 +01:00
Max Schaefer
8136ebbb91
Merge pull request #54 from sauyon/vendor-support
...
extractor: Use -mod=vendor when a vendor directory exists
2020-03-11 11:36:49 +00:00
Alistair
d383c5973e
Merge pull request #3046 from hubwriter/remove-gh-variable
...
docs: Remove GitHub variable
2020-03-11 11:29:19 +00:00
Max Schaefer
b3022c9fc8
Standardise RangeAnalysis.qll.
...
This brings the library in line with our usual syntactic conventions regarding QLDoc and names. I've also made a few superficial simplifications here and there.
Overall, the code would benefit from being rewritten to make use of the data-flow graph, but that is a larger undertaking.
2020-03-11 11:20:59 +00:00
Max Schaefer
a95b9c8e02
Rename a few files and clean up wording.
2020-03-11 11:04:42 +00:00
Alistair Christie
d6b666cf8f
docs: Remove GitHub variable
2020-03-11 11:03:18 +00:00
Max Schaefer
2fd925fe90
Autoformat.
2020-03-11 10:47:23 +00:00
Sauyon Lee
5056b5f161
Apply review comments.
...
Co-Authored-By: Max Schaefer <54907921+max-schaefer@users.noreply.github.com >
2020-03-11 03:26:18 -07:00
Rasmus Wriedt Larsen
2da1503942
Merge branch 'master' into python-support-django2
2020-03-11 11:21:47 +01:00
Sauyon Lee
1f83aa4586
Add a -mod=vendor change note
2020-03-11 03:10:35 -07:00
Max Schaefer
f1d489f6f9
Merge pull request #51 from singleghost/master
...
Add integer overflow detection support for codeql-go.
2020-03-11 10:00:39 +00:00
Sauyon Lee
57b874e047
extractor: Only skip dependency installation when vendor folder is detected
2020-03-11 02:59:33 -07:00
Max Schaefer
a8c1731f9d
Merge pull request #50 from sauyon/uintptr
...
Make uintptrtype a subclass of unsignedintegertype
2020-03-11 09:57:00 +00:00
Erik Krogh Kristensen
b987f2cf29
autoformat
2020-03-11 10:54:20 +01:00
Rasmus Wriedt Larsen
f5a8084a33
Merge pull request #2827 from BekaValentine/objectapi-to-valueapi-expectedmappingforformatstring
...
Python: ObjectAPI to ValueAPI: ExpectedMappingForFormatString
2020-03-11 10:52:48 +01:00
Rasmus Wriedt Larsen
47cd9c8956
Merge pull request #3038 from BekaValentine/python-objectapi-to-valueapi-deprecatedslicemethod
...
Python: ObjectAPI to ValueAPI: DeprecatedSliceMethod
2020-03-11 10:51:01 +01:00
Anders Schack-Mulligen
85d6b7c2ed
C++: Add tests.
2020-03-11 10:49:21 +01:00
Erik Krogh Kristensen
7f147221f5
refactor to include promise tracking as a core part of type tracking
2020-03-11 10:44:11 +01:00
Anders Schack-Mulligen
a9d76cbe64
Dataflow: Add consistency checks for toString and location.
2020-03-11 10:29:48 +01:00
Mathias Vorreiter Pedersen
f4e8f7a1cc
Merge pull request #2970 from jbj/multiple-types-test
...
C++: Tests for variables with ambiguous types
2020-03-11 09:53:59 +01:00
Erik Krogh Kristensen
fa26ce9f4b
update expected output
2020-03-11 09:36:12 +01:00
Esben Sparre Andreasen
4dac835bb0
JS: loosen qldoc for barrierGuardIsRelevant
2020-03-11 07:54:38 +01:00
Sauyon Lee
ecd4c42428
extractor: Factor out method extraction
...
This fixes a subtle bug where the underlying interface type was used
as the receiver when constructing method labels, causing some database
inconsistencies.
2020-03-10 22:01:16 -07:00
Sauyon Lee
0daf8c1fa3
extractor: Extract methods when their labels don't exist
2020-03-10 20:36:49 -07:00
Sauyon Lee
ccae530508
extractor: minor refactoring to use variables
2020-03-10 20:36:13 -07:00
Shati Patel
327486dc58
Update title and intro for river crossing puzzle
2020-03-11 02:35:21 +00:00
Shati Patel
52ffd91a26
Move "River crossing puzzle" into tutorial folder
...
- Update links
- Delete "QL etudes" folder
2020-03-11 02:25:56 +00:00
Shati Patel
30e41dd4da
Update references to QL tutorials
2020-03-11 02:14:39 +00:00
Shati Patel
8c5580fe5b
Reorganize map topic
2020-03-11 02:13:51 +00:00
Shati Patel
fe71cc79ba
Add intro to third tutorial
2020-03-11 01:53:47 +00:00
Shati Patel
fdfa2e1aeb
Rename third detective tutorial
2020-03-11 01:49:28 +00:00
Shati Patel
570e726ab5
Add intro to second tutorial
2020-03-11 01:46:40 +00:00
Shati Patel
992c61a0a3
Combine and rename second detective tutorial
2020-03-11 01:46:28 +00:00
Shati Patel
d0d34d6762
Add intro to first tutorial
2020-03-11 01:46:28 +00:00
Shati Patel
43347d006c
Combine and rename first detective tutorial
2020-03-11 01:46:22 +00:00
Sauyon Lee
0aa46becf9
extractor: Use -mod=vendor when a vendor directory exists
2020-03-10 16:44:03 -07:00
Ted Reed
107662fc67
Move Security/CWE/CWE-273 into experimental
2020-03-10 18:58:43 -04:00
Dave Bartolomeo
66fd566b66
Merge pull request #3006 from jbj/ir-no-static-init
...
C++: IR: Ignore constant static initializers
2020-03-10 15:46:56 -04:00
Alistair
44b9773ace
Merge pull request #2866 from hubwriter/alistairs-docs-preparation-1
...
CodeQL migration: Java topics - change titles & add intros (2164)
2020-03-10 19:23:09 +00:00
Robert Marsh
ba8ebe9f3a
C++: accept test changes
2020-03-10 11:41:59 -07:00
Robert Marsh
bba6b23019
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
2020-03-10 11:12:19 -07:00
Dave Bartolomeo
ef194d3332
C++: Accept test output
2020-03-10 13:49:20 -04:00
Felicity Chapman
a567dba109
Merge pull request #2823 from felicitymay/2166-python-pre-migration-tasks
...
CodeQL: Python topics (2166) - WIP
2020-03-10 17:14:43 +00:00
Felicity Chapman
f1238f1ec9
Update docs/language/learn-ql/python/introduce-libraries-python.rst
2020-03-10 17:11:59 +00:00
Felicity Chapman
9a30df3a6d
Merge branch 'rc/1.23' into merge-123-master-2
2020-03-10 17:03:53 +00:00
Erik Krogh Kristensen
13e855910e
add more ClientRequest models for JQuery
2020-03-10 17:21:22 +01:00
Jonas Jensen
bf43475ff7
C++: Unroll recursion in inStaticInitializer
...
This gets rid of some slow recursive magic.
On Wireshark, this improves the timing of the involved predicates from
m#Variable::runtimeExprInStaticInitializer#b ..................... 3.1s (executed 86 times)
Variable::runtimeExprInStaticInitializer#b#antijoin_rhs .......... 1.6s
Variable::runtimeExprInStaticInitializer#b ....................... 985ms (executed 6 times)
Variable::runtimeExprInStaticInitializer#b#loop_invariant_prefix . 845ms
#Expr::Expr::getParent_dispred#fbPlus ............................ 3.6s (executed 86 times)
#Expr::Expr::getParent_dispred#fbPlus_10#join_rhs ................ 988ms
to
Variable::runtimeExprInStaticInitializer#f#antijoin_rhs . 1.8s
Variable::runtimeExprInStaticInitializer#f .............. 1.1s (executed 6 times)
Variable::inStaticInitializer#f ......................... 3.2s (executed 86 times)
2020-03-10 17:07:44 +01:00