Mark Shannon
32dabcee1e
Python: Ignore dead objects from library trap files.
2019-03-05 15:27:45 +00:00
Jonas Jensen
b3d935063f
Merge pull request #815 from geoffw0/keyset
...
CPP: dbscheme annotations
2019-03-05 14:53:46 +00:00
semmle-qlci
dedefe0f9e
Merge pull request #1039 from xiemaisi/js/parallel-extraction-env-vars
...
Approved by asger-semmle
2019-03-05 14:42:01 +00:00
Tom Hvitved
b2ede5e2a1
Revise logic for reducing size of getAThrownException()
...
When determining which core library a "tried control flow element" is compiled against,
first look at exceptions caught by the surrounding `try` block, then look at assembly
attributes, and finally choose (randomly) the core library with the highest lexicographic
order.
2019-03-05 14:57:46 +01:00
Jonas Jensen
0a57767cc6
C++: Data flow through StmtExpr
2019-03-05 14:36:40 +01:00
Jonas Jensen
a2de057c26
C++: Test for StmtExpr data flow
2019-03-05 14:34:19 +01:00
Jonas Jensen
9d595aa5ea
Merge pull request #1033 from geoffw0/newdelete-perf
...
CPP: NewDelete.qll performance
2019-03-05 12:52:59 +00:00
semmle-qlci
1327b9f552
Merge pull request #1038 from xiemaisi/js/consolidate-tests
...
Approved by esben-semmle
2019-03-05 11:02:33 +00:00
Jonas Jensen
d310338c9b
C++: Implement dominanceFrontier with recursion
...
This implementation is borrowed from Java's QL library and offers a
great performance improvement. For example, on Wireshark the performance
goes from
Dominance::bbDominates#ff ....... 40.3s
SSAUtils::dominanceFrontier#ff .. 30s
to
SSAUtils::dominanceFrontier#ff .. 418ms (executed 67 times)
The big performance problem before was the need to materialize
`bbDominates`, which is the reflexive-transitive "basic block dominates"
relation. It had 79 million rows on Wireshark.
2019-03-05 11:54:45 +01:00
Geoffrey White
4e1e3131ac
CPP: Revert annotation on 'externalData'.
2019-03-05 10:22:33 +00:00
Max Schaefer
b1033b079f
JavaScript: Make configuration of parallel extraction consistent with parallel evaluation.
...
Just like parallel evaluation, the number of extractor threads is now determined by the `LGTM_THREADS` environment variable, and defaults to one.
2019-03-05 10:06:32 +00:00
Geoffrey White
56fe91d774
CPP: cached -> pragma[nomagic].
2019-03-05 08:59:16 +00:00
Max Schaefer
29f381eb34
JavaScript: Consolidate DOM tests.
2019-03-05 08:24:39 +00:00
Max Schaefer
3ab465edcc
JavaScript: Consolidate ReactJS tests.
2019-03-05 08:24:39 +00:00
Max Schaefer
1c97a57888
JavaScript: Consolidate Promises tests.
2019-03-05 08:24:36 +00:00
Max Schaefer
41349c547f
JavaScript: Consolidate stmts tests.
2019-03-05 08:14:47 +00:00
Max Schaefer
eb02e8bd36
JavaScript: Consolidate CallGraphs tests.
2019-03-05 08:14:47 +00:00
Max Schaefer
9178da4f61
JavaScript: Consolidate Expr tests.
2019-03-05 08:14:47 +00:00
Max Schaefer
256f3b013b
JavaScript: Consolidate tutorial tests.
2019-03-05 08:14:47 +00:00
Max Schaefer
5a242d4849
JavaScript: Consolidate ModuleImportNode tests.
...
Note that `CustomImport.ql` is still separate since it customises the standard library and would hence influennce other tests.
2019-03-05 08:14:47 +00:00
Max Schaefer
deff97a9e6
JavaScript: Consolidate PropWrite tests.
2019-03-05 08:14:39 +00:00
Max Schaefer
0b5599d009
JavaScript: Consolidate connect, koa, hapi and restify tests.
2019-03-05 08:04:01 +00:00
Max Schaefer
89ad16be4b
JavaScript: Consolidate Functions tests.
2019-03-05 08:04:01 +00:00
Max Schaefer
40502c68a5
JavaScript: Consolidate Classes tests.
2019-03-05 08:04:01 +00:00
Max Schaefer
3b89c70da8
JavaScript: Consolidate Modules tests.
2019-03-05 08:04:01 +00:00
Max Schaefer
f3eca887a9
JavaScript: Consolidate JSDoc tests.
2019-03-05 08:04:01 +00:00
Max Schaefer
65ece6e895
JavaScript: Consolidate TypeAnnotations tests.
2019-03-05 08:04:01 +00:00
Max Schaefer
716e741371
JavaScript: Consolidate NodeJSLib tests.
2019-03-05 08:04:01 +00:00
yh-semmle
4908ccc493
Java: update frameworks list for 1.20 release
2019-03-04 20:31:34 -05:00
semmle-qlci
9a2a328243
Merge pull request #1025 from xiemaisi/js/fix-exports-assign
...
Approved by asger-semmle
2019-03-04 21:25:56 +00:00
Max Schaefer
7f5e2630a1
Merge pull request #1032 from xiemaisi/master-for-merge
...
Merge master into rc/1.20
2019-03-04 21:23:51 +00:00
Tom Hvitved
1434b10b7a
C#: Speedup structural comparison library
2019-03-04 21:23:34 +01:00
semmle-qlci
245b47add7
Merge pull request #1017 from hvitved/csharp/get-label-performance
...
Approved by calumgrant
2019-03-04 20:22:38 +00:00
Tom Hvitved
8ec0573915
C#: Speedup sameChildrenModuloTypeParameters()
2019-03-04 21:06:13 +01:00
semmle-qlci
08e7499a2f
Merge pull request #1011 from hvitved/csharp/implements-performance
...
Approved by calumgrant
2019-03-04 20:05:04 +00:00
Geoffrey White
eb4efc4745
Merge pull request #1023 from jbj/gets-qualified
...
C++: Use getQualifiedName() = "gets", not hasName
2019-03-04 18:10:15 +00:00
Kevin Backhouse
8cee18b479
Add assignments to the set of analyzable expressions to simplify overflow detection.
2019-03-04 17:07:11 +00:00
calum
e8bb7f2139
C#: Fix for performance.
2019-03-04 16:54:59 +00:00
Geoffrey White
a9ce2f7a62
CPP: Simplify out some old optimizations (that make little difference now).
2019-03-04 13:13:04 +00:00
Geoffrey White
a3f452b8ae
Merge pull request #1024 from jbj/command-line-injection-precision
...
C++: Set cpp/command-line-injection precision=low
2019-03-04 13:08:38 +00:00
Geoffrey White
df73bb3468
CPP: Fix performance issue. Also has a small positive effect on correctness.
2019-03-04 12:47:55 +00:00
Geoffrey White
f0085ed25a
CPP: Additional test cases.
2019-03-04 12:45:05 +00:00
Tom Hvitved
4054dc43e2
C#: Speedup Element::getLabel()
2019-03-04 13:21:10 +01:00
Tom Hvitved
c70a0a646d
C#: Add test for getLabel()
2019-03-04 13:21:10 +01:00
Tom Hvitved
6135b5b7eb
C#: Updated expected test output
2019-03-04 13:19:00 +01:00
Tom Hvitved
2e1ba7b1f9
C#: Speedup Implements.qll
2019-03-04 13:19:00 +01:00
Mark Shannon
1b35a4eb0f
Merge pull request #1026 from taus-semmle/python-unsafe-mktemp-add-missing-kind
...
Python: Add missing `@kind` for `py/insecure-temporary-file`.
2019-03-04 11:55:45 +00:00
semmle-qlci
f13eb18493
Merge pull request #1018 from xiemaisi/js/consolidate-tests
...
Approved by esben-semmle
2019-03-04 10:59:51 +00:00
Taus Brock-Nannestad
63893fe52c
Python: Add missing @kind for py/insecure-temporary-file.
2019-03-04 11:20:39 +01:00
calum
f7b4985ed1
C#: Fix merge conflict.
2019-03-04 09:54:48 +00:00