semmle-qlci
5fcd663e9f
Merge pull request #158 from esben-semmle/js/sharpen-regexp-injection
...
Approved by xiemaisi
2018-09-05 12:45:59 +01:00
Ian Lynagh
ca082be371
C++: Fix spurious extra qualified names for enum constants within a class
2018-09-05 12:29:43 +01:00
Ian Lynagh
c204ec3a8f
C++: Enhance qualifiers/class-enum test
2018-09-05 12:28:57 +01:00
semmle-qlci
50b5a3bd71
Merge pull request #151 from asger-semmle/ts-ambient-toplevel
...
Approved by xiemaisi
2018-09-05 10:52:08 +01:00
semmle-qlci
6c1098d170
Merge pull request #120 from hvitved/csharp/query/useless-upcast
...
Approved by calumgrant
2018-09-05 08:39:25 +01:00
Esben Sparre Andreasen
f63a3b3f39
JS: add missing abstract modifier
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
6e1846b1ca
JS: address doc review comments
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
89887e7dc8
JS: address review comments
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
2306afdebf
JS: use extensible architecture for Electron- and NodeClientRequest
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
2dd8e95a51
JS: remove unused getOptions method
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
d578c7422d
JS: docstring cleanup
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
0da14fccbd
JS: renaming UrlRequests.qll -> ClientRequests.qll
2018-09-05 09:20:45 +02:00
Esben Sparre Andreasen
6d78350fee
JS: s/URLRequest/ClientRequest, merge with NodeJSLib::ClientRequest
2018-09-05 09:20:45 +02:00
Jonas Jensen
e0c073360b
C++: Remove CP in getOperandMemoryAccess
...
The overrides of `Instruction.getOperandMemoryAccess` did not relate
`this` to any of its other parameters, which made it attempt to compute
the Cartesian product of `Instruction` and `TPhiOperand`. This happened
only during computation of aliased SSA. Perhaps the optimizer was able
to eliminate the CP for the non-aliased SSA computation.
With this change, I'm able to compute aliased SSA for medium-sized
snapshots.
2018-09-05 08:52:39 +02:00
Jonas Jensen
5541b9fbf1
C++: Split IRBlock index from IRBlock membership
...
Instead of computing these two things in one predicate, they are
computed in separate predicates and then joined. This splits the
predicate `getInstruction`, which took 81s before, into predicates that
together take 20s on a medium-sized db.
2018-09-05 08:50:36 +02:00
Jonas Jensen
1bcae97447
Merge pull request #114 from geoffw0/samate-realloc
...
CPP: Handle 'realloc' better in MemoryMayNotBeFreed.ql
2018-09-05 08:35:13 +02:00
Esben Sparre Andreasen
b9d825b379
JS: better matching of String.prototype.search in js/regex-injection
2018-09-05 08:35:00 +02:00
semmle-qlci
a46df8e0a2
Merge pull request #154 from jbj/mergeback-master-20180904
...
Approved by adityasharad
2018-09-05 07:21:00 +01:00
semmle-qlci
8225daf94d
Merge pull request #122 from dave-bartolomeo/dave/IRShuffle
...
Approved by jbj
2018-09-04 23:56:38 +01:00
semmle-qlci
2d4f664be8
Merge pull request #157 from ian-semmle/declarationName
...
Approved by jbj
2018-09-04 23:08:27 +01:00
Nick Rolfe
ccceef30e6
Merge pull request #155 from adityasharad/revert/master/version-1.19.0
...
Revert "Version: Bump to 1.19.0 dev."
2018-09-04 21:16:43 +01:00
Jonas Jensen
43704e2f0d
Merge pull request #144 from ian-semmle/topLevel2
...
C++: Improve GlobalNamespace.getADeclaration()
2018-09-04 20:22:22 +02:00
semmle-qlci
20ade48975
Merge pull request #146 from ian-semmle/TemplateParameterName
...
Approved by jbj
2018-09-04 19:16:55 +01:00
Tom Hvitved
124a00ba10
C#: Update expected output in SSA tests
2018-09-04 20:15:33 +02:00
Ian Lynagh
ce5653a2f6
C++: Tweak qldoc for declaration names
2018-09-04 19:14:16 +01:00
Dave Bartolomeo
4a1d04b423
C++: Fix deprecated predicate warnings
2018-09-04 10:30:48 -07:00
Geoffrey White
ae80b8dbec
Merge pull request #145 from nickrolfe/rewording
...
C++: clearer alert wording in integer-multiplication-cast-to-long
2018-09-04 18:00:37 +01:00
Geoffrey White
71483c7025
CPP: Remove some empty source files.
2018-09-04 17:51:46 +01:00
Dave Bartolomeo
4086a8909b
C++: Fix a couple IR-related tests to handle new directory tree
...
Also moved those tests under the IR test directory, so I'm less likely to forget them next time.
2018-09-04 09:05:33 -07:00
Dave Bartolomeo
fce7a5fccb
C++: Final IR reshuffle
...
Moved IR flavors into "implementation", with internal files under "implementation/internal". Made `IRBlockConstruction` just a nested module of `IRConstruction`/`SSAConstruction`, so it gets picked up from the `Construction` parameter of the `IR` module, rather than being picked up just from being in the same directory as `IRBlock`.
2018-09-04 09:05:27 -07:00
Dave Bartolomeo
aa4436fa22
C++: More IR reshuffling
...
Remove redundant "_ir" suffix.
Move non-user-importable modules into "implementation" directory.
2018-09-04 09:05:21 -07:00
Dave Bartolomeo
97cfbd9488
C++: "IR" means "Aliased SSA IR"
...
This change makes the public IR.qll module resolve to the flavor of the IR that we want queries to use. Today, this is the aliased SSA flavor of the IR. Should we add additional IR iterations in the future, we'll update IR.qll to resolve to whichever one we consider the default.
I moved the PrintIR.ql and IRSanity.ql queries into the internal directories of the corresponding flavors. There's still a PrintIR.ql and an IRSanity.ql in the public IR directory, which use the same IR flavor as the public IR.qll.
2018-09-04 09:05:15 -07:00
Dave Bartolomeo
9fd5f26e2e
C++: Remove unnecessary Impl suffix from some files
2018-09-04 09:05:10 -07:00
Dave Bartolomeo
aacee8fecf
C++: Reshuffle IR files into a consistent directory structure
...
There are no real code changes here, other than to fix up `import`s. All tests still hae the same output, as expected.
A future commit will hide the IR flavors other than the one we want queries to use directly.
2018-09-04 09:05:03 -07:00
Aditya Sharad
ab2bec743a
Revert "Version: Bump to 1.19.0 dev."
...
The version bump should now go into the `next` branch rather than `master`.
This reverts commit 2363f49e3a .
2018-09-04 16:01:09 +01:00
Asger F
4e9c52a3c3
TypeScript: add change note
2018-09-04 15:20:16 +01:00
Jonas Jensen
9535f83d3a
Revert "Revert "C++: update expected sizes of error and unknown types to be 1 byte""
...
This commit was reverted on `master` but should remain on `next`, so I'm
reverting the revert before merging `master` into `next`.
This reverts commit adda4c91cf .
2018-09-04 16:10:46 +02:00
Tom Hvitved
6a4dbfce8f
Address review comment
2018-09-04 16:07:49 +02:00
Asger F
6ceb10371a
TypeScript: rephrase change note
2018-09-04 15:06:04 +01:00
Tom Hvitved
919203a071
Address review comment
2018-09-04 16:04:21 +02:00
calumgrant
98aa7f88b2
Merge pull request #121 from hvitved/csharp/sync-test-files
...
C#: Synchronize a few test files
2018-09-04 15:01:19 +01:00
Max Schaefer
fdc20e830a
Merge pull request #153 from asger-semmle/ts-typescript3.0-changenote
...
TypeScript: update change note to mention TypeScript 3.0 support
2018-09-04 14:45:29 +01:00
Nick Rolfe
f2d030a7e6
C++: shorten message in integer-multiplication-cast-to-long
2018-09-04 14:45:12 +01:00
ian-semmle
cbca1e1105
Merge pull request #149 from jbj/revert-builtin_types_on_demand3
...
Revert "C++: update expected sizes of error and unknown types to be 1 byte"
2018-09-04 14:32:55 +01:00
Asger F
f7827b72ab
TypeScript: update change note to mention TypeScript 3.0 support
2018-09-04 14:30:16 +01:00
semmle-qlci
3cdaed2e3e
Merge pull request #141 from jbj/ql-warnings-1.18
...
Approved by ian-semmle
2018-09-04 14:27:18 +01:00
Asger F
2b8bc63b01
TypeScript: add change note
2018-09-04 14:23:37 +01:00
Tom Hvitved
9a7746e9b5
C#: Fix bug in BaseSsa library
2018-09-04 15:16:20 +02:00
Asger F
7bd53e72dc
TypeScript: fix alerts in ambient code
2018-09-04 13:55:48 +01:00
Asger F
003b600e24
TypeScript: disable queries that rely on token information
2018-09-04 13:18:37 +01:00