Tom Hvitved
397ff84898
C#: Cache Ssa::ExplicitDefinition::getADefinition()
2019-03-07 12:15:44 +01:00
calum
173fbc806c
C#: Fix extractor to avoid the recursive eval of TypeArgumentList and update test results.
2019-03-07 09:44:18 +00:00
Raul Garcia
492ec9eb59
Update .gitignore
2019-03-06 17:13:25 -08:00
Raul Garcia
2e0c337a94
2n part of ICryptoTransform.
...
Detecting potential unsafe usage (object shared across multiple threads) on variables captured by Lambda
2019-03-06 17:12:33 -08:00
Robert Marsh
0efb110512
C++: docs for AllocaInLoop
2019-03-06 09:35:17 -08:00
Mark Shannon
7aef32e63f
Python: Add basic taint-tracking configuration. Should help avoid cross-talk between flows and brings the interface closer to that of the other languages.
2019-03-06 15:48:03 +00:00
Calum Grant
c087394917
Merge pull request #1030 from hvitved/csharp/structural-comparison
...
C#: Speedup structural comparison library
2019-03-06 15:47:44 +00:00
Jonas Jensen
57732ee6f9
Merge pull request #1008 from geoffw0/wprintf
...
CPP: Clean up and fix FormattingFunction, FormatLiteral
2019-03-06 15:08:29 +00:00
calum
3c6ef8dbf7
C#: Refactor additionalJumpStep for performance.
2019-03-06 15:04:39 +00:00
Taus
2f77cde63f
Merge pull request #1042 from markshannon/python-ignore-dead-objects
...
Python: Ignore dead entities from library trap files.
2019-03-06 15:47:56 +01:00
Asger F
f21871d275
JS: relax instantiation requirement for .prototype field
2019-03-06 14:31:37 +00:00
Asger F
96f1d91150
JS: Add a new test
2019-03-06 14:31:37 +00:00
Tom Hvitved
7825642954
C#: Dispatch.qll performance tweaks
2019-03-06 14:54:36 +01:00
Tom Hvitved
d0c442a950
C#: Use explicit recursion in TupleExpr::isReadAccess()
2019-03-06 14:54:25 +01:00
Max Schaefer
48c0949705
Merge pull request #1036 from asger-semmle/hide-implicit-ssa-defs
...
JS: Omit uninteresting nodes from path explanations
2019-03-06 13:30:11 +00:00
semmle-qlci
420b14b1e7
Merge pull request #1029 from jcreedcmu/jcreed/surgery
...
Approved by xiemaisi
2019-03-06 13:27:21 +00:00
Asger F
732ddbcbbd
JS: Mark API as experimental
2019-03-06 13:04:34 +00:00
Asger F
81476cff0b
JS: Expand test case with call/return matching for backtracking
2019-03-06 12:58:52 +00:00
Asger F
3422fa328d
JS: Add test
2019-03-06 12:50:59 +00:00
Asger F
e6a1374218
JS: Make separate type for back-tracking types
2019-03-06 12:50:50 +00:00
Calum Grant
4bdcfec674
Merge pull request #990 from hvitved/csharp/cfg/get-a-thrown-exception
...
C#: Reduce size of `getAThrownException()`
2019-03-06 12:31:00 +00:00
Asger F
0b2c94684d
JS: Add TypeTracker library
2019-03-06 11:52:28 +00:00
Geoffrey White
693937367d
Merge pull request #1047 from jbj/dataflow-StmtExpr
...
C++: Data flow through StmtExpr
2019-03-06 10:33:12 +00:00
Geoffrey White
2bac7f1516
CPP: Deprecate old mechanisms FormattingFunction.isWideCharDefault and FormatLiteral.isWideCharDefault.
2019-03-06 10:23:46 +00:00
Geoffrey White
5b8a6c8335
CPP: Remove no longer used FormatLiteral.getEffectiveCharConversionChar.
2019-03-06 10:23:45 +00:00
Geoffrey White
e1447787e3
CPP: Remove dubious case from FormatLiteral.getMaxConvertedLength.
2019-03-06 10:23:45 +00:00
Geoffrey White
1b71accbfe
CPP: Fix a bug in FormattingFunction.getDefaultCharType.
2019-03-06 10:23:45 +00:00
Geoffrey White
e59b3c28e4
CPP: Modernize FormatLiteral.getConversionType1b.
2019-03-06 10:23:45 +00:00
Geoffrey White
ac708a569e
CPP: Clean up formatting in FormatLiteral.getEffectiveCharConversionChar somewhat.
2019-03-06 10:23:45 +00:00
Geoffrey White
9f9712047c
CPP: Add a few more tests of '%c'.
2019-03-06 10:23:45 +00:00
Jason Reed
8829fde86b
JS: Add test for zipslip basename sanitization.
2019-03-06 09:46:41 +00:00
Jason Reed
126e207bd0
JS: Add change note.
2019-03-06 09:46:41 +00:00
Jason Reed
0a91d919b0
JS: Allow path.basename sanitization in zipslip.
2019-03-06 09:46:41 +00:00
Jonas Jensen
80b0765618
C++: Make IR DataFlow dispatch use non-IR version
...
This removes code duplication and ensures that the IR version also gets
the support for flow across link targets.
2019-03-06 10:08:14 +01:00
Jonas Jensen
10ce13d1e9
C++: Tests for cross-target dispatch
2019-03-06 10:08:13 +01:00
Jonas Jensen
14f1ecb456
C++: Data flow dispatch across link targets
2019-03-06 10:08:13 +01:00
Asger F
50a77ea843
JS: update test expectations
2019-03-06 08:41:03 +00:00
Asger F
ee7461380e
JS: Omit uninteresting nodes from path explanations
2019-03-06 08:41:03 +00:00
Jonas Jensen
94699175a4
Merge pull request #1046 from xiemaisi/rc/1.20
...
Merge rc/1.20 into master
2019-03-06 07:49:15 +00:00
Tom Hvitved
440809623b
C#: Fix whitespaces
2019-03-06 08:15:46 +01:00
semmle-qlci
69a048d102
Merge pull request #1045 from jbj/import-additional-ir-TaintTracking
...
Approved by rdmarsh2
2019-03-05 20:52:29 +00:00
Tom Hvitved
0afb85cb91
C#: Address review comments
2019-03-05 19:27:36 +01:00
calum
58fdcd8703
C#: Regression test case demonstrating extractor error.
2019-03-05 18:24:01 +00:00
Asger F
eb08dcfbd0
Merge pull request #1044 from xiemaisi/js/fix-javadoc
...
JavaScript: Remove a `@link` in Javadoc.
2019-03-05 18:09:10 +01:00
Jonas Jensen
6ef946c2b0
C++: Make IR TaintTracking available on LGTM
...
Because this new library is not used in a default query, it needs to be
imported here in order to be available in the LGTM query console.
2019-03-05 18:05:27 +01:00
Max Schaefer
832dff54e8
JavaScript: Remove a @link in Javadoc.
...
Javadoc claims not to be able to resolve this link, while Eclipse manages to do so without any problems, failing an internal PR check.
It's only in a test, though, so I just removed it.
2019-03-05 17:02:44 +00:00
Mark Shannon
38a5fb715a
Python: Avoid cross-talk between unrelated sources in py/stack-trace-exposure query.
2019-03-05 16:52:28 +00:00
Calum Grant
926ee7425a
Merge pull request #1014 from hvitved/csharp/same-children-modulo-type-params
...
C#: Speedup `sameChildrenModuloTypeParameters()`
2019-03-05 16:43:33 +00:00
Calum Grant
b17de116f8
Merge pull request #995 from hvitved/csharp/split-guards-performance
...
C#: Speedup guards predicates
2019-03-05 16:42:39 +00:00
Geoffrey White
d5627fdc9e
Merge pull request #1040 from jbj/dominanceFrontier-iterated
...
C++: Implement dominanceFrontier with recursion
2019-03-05 16:27:53 +00:00