Nick Rolfe
5d5febf4d4
Merge pull request #137 from jbj/getEnclosingElement-changenote
...
C++: Change note for getEnclosingElement macro changes
2018-09-03 10:44:30 +01:00
Jonas Jensen
2fd73f2171
C++: getEnclosingElement-without-macros changenote
2018-09-03 11:29:03 +02:00
Jonas Jensen
b34dbfa68b
C++: Correct change note formatting
...
In Markdown, nested bullet lists are formatted with indented asterisks
rather than double asterisks.
2018-09-03 11:29:02 +02:00
Jonas Jensen
18dc1d0af0
Merge pull request #129 from Semmle/changenote-desig-init
...
cherry-pick onto rc/1.18: C++: change note for designated intializer fixes
2018-09-03 11:28:20 +02:00
Max Schaefer
759d98661c
Merge pull request #117 from esben-semmle/js/push-sort-taint-steps
...
JS: support `push` and `sort` taint steps for arrays
2018-09-03 09:20:35 +01:00
Geoffrey White
8e5c170af6
CPP: Change note.
2018-09-03 08:30:05 +01:00
Geoffrey White
3e18a9b885
CPP: Improve the special case for realloc in MemoryMayNotBeFreed.ql.
2018-09-03 08:30:05 +01:00
Max Schaefer
58e384558c
JavaScript: Improve query name and help for js/incomplete-sanitization.
...
The query applies more generally to all kinds of string escaping and encoding, not just sanitization.
2018-09-03 08:20:01 +01:00
Max Schaefer
20bff709b1
Merge pull request #136 from esben-semmle/js/composed-function-taint
...
JS: model composed functions (RC)
2018-09-03 08:18:20 +01:00
Max Schaefer
7e3adec789
Merge pull request #135 from esben-semmle/js/pick-get-taint-steps
...
JS: model property projection calls (RC)
2018-09-03 08:17:42 +01:00
Ian Lynagh
c8fcab8cfe
C++: Use Declaration.isTopLevel() in GlobalNamespace.getADeclaration()
2018-09-03 01:01:10 +01:00
Ian Lynagh
f6582ef285
C++: Fix typo
2018-09-01 15:45:41 +01:00
Jonas Jensen
98612b9f9a
C++: Tidy primitive_basic_block_member calculation
...
This change gave a slight speed-up by eliminating an unnecessary
intermediate predicate.
2018-09-01 07:46:00 +02:00
Nick Rolfe
f6e5be0af8
cherry-pick 35d31aee onto 1.18 branch
...
This changenote was committed after the `rc/1.18 branch` was taken.
2018-08-31 18:09:39 +01:00
ian-semmle
eac82f2a8a
Merge pull request #18 from nickrolfe/builtin_types_on_demand3
...
C++: built-in type tweaks
2018-08-31 16:41:02 +01:00
Ian Lynagh
3a00e24e89
C++: Give NamespaceVariables a qualified name
2018-08-31 16:39:21 +01:00
Ian Lynagh
d7d8186bbe
C++: Improve namespaces/namespaces test
2018-08-31 16:37:59 +01:00
Geoffrey White
074894298c
CPP: Adjust precisions for the CWE-190 queries.
2018-08-31 16:15:53 +01:00
ian-semmle
1ed82d63f3
Merge pull request #124 from nickrolfe/desig_init_changenote
...
C++: change note for designated intializer fixes
2018-08-31 13:19:52 +01:00
Nick Rolfe
35d31aeefe
C++: change note for designated intializer fixes
2018-08-31 13:15:53 +01:00
Nick Rolfe
d4f9b5eb52
C++: update expected sizes of error and unknown types to be 1 byte
2018-08-31 12:08:15 +01:00
ian-semmle
6c7396424e
Merge pull request #116 from nickrolfe/desig_init
...
C++: support for designated initializers
2018-08-31 11:56:34 +01:00
Max Schaefer
69ca103e06
Merge pull request #115 from esben-semmle/js/composed-function-taint
...
JS: model composed functions
2018-08-31 08:14:18 +01:00
Max Schaefer
7e18426fde
Merge pull request #113 from esben-semmle/js/pick-get-taint-steps
...
JS: model property projection calls
2018-08-31 08:13:40 +01:00
Nick Rolfe
0589be1b8a
C++: add qldoc comments for aggregate_{field,array}_init
2018-08-30 22:42:31 +01:00
Nick Rolfe
2130622028
C++: use underlyingElement & unresolveElement for get{Element,Field}Expr
2018-08-30 22:42:31 +01:00
Nick Rolfe
d8d3bfd857
C++: expand aggregate literals test to cover ordering of child exprs
2018-08-30 22:42:30 +01:00
Nick Rolfe
7556f22ff1
C++: stats for aggregate_{field,array}_init
2018-08-30 22:42:30 +01:00
Nick Rolfe
23c648904f
C++: properly formatted comments for builtin type kinds
2018-08-30 22:42:30 +01:00
Nick Rolfe
afa7505cae
C++: expand test for aggregate literals to include more nesting
2018-08-30 22:42:30 +01:00
Nick Rolfe
4abdeda857
C++: update test output to match corrected extractor behaviour
2018-08-30 22:42:30 +01:00
Nick Rolfe
d068d71ccb
C++: dbscheme/library changes to support C99 designated initializers
2018-08-30 22:42:30 +01:00
Tom Hvitved
809da42f00
C#: Synchronize a few test files
...
Synchronized test files with the examples used in query help.
2018-08-30 21:46:37 +02:00
Pavel Avgustinov
d9bc07cb91
Merge branch 'java-migration'.
2018-08-30 18:49:04 +01:00
Max Schaefer
fabd6c0864
Merge pull request #119 from esben-semmle/js/fix-change-note-libs
...
JS: use https- and repo-links in change notes
2018-08-30 14:23:34 +01:00
Tom Hvitved
386b89a023
C#: Improvements to cs/useless-upcast
2018-08-30 15:15:40 +02:00
Jonas Jensen
e7234f5cf3
C++: Split index calculation from BB membership
...
Instead of computing these two things in one predicate, they are
computed in separate predicates and then joined. This splits the
predicate `primitive_basic_block_member`, which took 77s before, into
predicates that together take 18s on a medium-sized db.
2018-08-30 15:04:01 +02:00
Esben Sparre Andreasen
b7fd1e7a74
JS: use https- and repo-links in change notes
2018-08-30 14:54:15 +02:00
Pavel Avgustinov
846c9d5860
Migrate Java code to separate QL repo.
2018-08-30 10:48:05 +01:00
Esben Sparre Andreasen
6ee8f71d09
JS: add change notes for property projection libraries
2018-08-30 09:39:02 +02:00
Esben Sparre Andreasen
90b3902244
JS: add a taint step for property projection
2018-08-30 09:39:02 +02:00
Esben Sparre Andreasen
df97132519
JS: add model for property projection
2018-08-30 09:39:02 +02:00
Esben Sparre Andreasen
c1e6280a0e
JS: generalize change notes for improved array operation taint steps
2018-08-30 09:18:48 +02:00
Esben Sparre Andreasen
86ab9adb06
JS: support push and sort taint steps for arrays
2018-08-30 09:14:06 +02:00
Esben Sparre Andreasen
dc72788746
JS: add a model of some function composition libraries
2018-08-30 08:17:01 +02:00
Kevin Backhouse
6c5009225c
Merge pull request #111 from olehermanse/gmtime
...
Fixed error in gmtime example
2018-08-29 15:55:52 -04:00
semmle-qlci
d957c151a6
Merge pull request #110 from jbj/fewer-dbtypes
...
Approved by ian-semmle
2018-08-29 17:26:06 +01:00
Pavel Avgustinov
261cfe9892
Merge pull request #112 from shati-semmle/cs/change-notes
...
C#: Reorder change notes
2018-08-29 16:18:29 +01:00
Pavel Avgustinov
4e3616eaf1
Merge pull request #97 from shati-semmle/ql-style-guide
...
QL style guide: Small fixes
2018-08-29 16:18:15 +01:00
semmle-qlci
d22a65a66b
Merge pull request #108 from esben-semmle/js/classify-generated-data-files
...
Approved by xiemaisi
2018-08-29 14:15:55 +01:00