Mark Shannon
|
d750f38532
|
Python: Fix a couple of false positives for AST and CFG sanity and improve reporting for ClassValue sanity.
|
2019-07-15 16:28:28 +01:00 |
|
Max Schaefer
|
ca36c7aa9a
|
Revert "JavaScript: Use type tracking to identify more portal entry/exit nodes."
This reverts commit 39c37f519d.
|
2019-07-15 16:27:55 +01:00 |
|
Taus
|
59a402fcce
|
Merge pull request #1590 from markshannon/fix-semantic-merge-conflict
Fix semantic merge conflict between #1470 and #1487.
|
2019-07-15 16:25:04 +01:00 |
|
Mark Shannon
|
2c5b1c0810
|
Fix semantic merge conflict between #1470 and #1487.
|
2019-07-15 15:34:00 +01:00 |
|
Geoffrey White
|
0a49a68001
|
CPP: Change note.
|
2019-07-15 15:01:50 +01:00 |
|
Geoffrey White
|
cf194219b9
|
CPP: Fix FPs.
|
2019-07-15 14:58:35 +01:00 |
|
Geoffrey White
|
5362fef81c
|
CPP: Additional AllocaInLoop test cases.
|
2019-07-15 14:50:02 +01:00 |
|
Taus
|
f12c057826
|
Merge pull request #1470 from markshannon/python-tarslip
Python: "TarSlip" query
|
2019-07-15 12:43:47 +02:00 |
|
Felicity Chapman
|
cb48af7395
|
Update Python and C# help for commented-out code to use common qhelp
|
2019-07-15 09:26:17 +01:00 |
|
Ziemowit Laski
|
c906560edd
|
Fix up expected IR output after rebase.
|
2019-07-13 12:57:25 -07:00 |
|
Ziemowit Laski
|
960a41be85
|
Handle __builtin_addressof.
|
2019-07-13 12:23:40 -07:00 |
|
Ziemowit Laski
|
175ba7b3b0
|
Fix up .expected on the IR side.
|
2019-07-13 12:23:40 -07:00 |
|
Ziemowit Laski
|
2637c22732
|
Fix up .expected file.
|
2019-07-13 12:23:40 -07:00 |
|
Ziemowit Laski
|
2459d2ab92
|
Reformat PrintAST.qll ONLY.
|
2019-07-13 12:23:40 -07:00 |
|
Ziemowit Laski
|
49b0fc0a57
|
[CPP-386] A few more QL classes.
|
2019-07-13 12:23:40 -07:00 |
|
Ziemowit Laski
|
ab82aebbd7
|
[CPP-386] Add override keyword as needed; annotate a few more classes.
|
2019-07-13 12:23:40 -07:00 |
|
Ziemowit Laski
|
e5fc07660d
|
[CPP-386] Print QL AST classes next to elements in PrintAST trees.
|
2019-07-13 12:23:09 -07:00 |
|
Ziemowit Laski
|
ddb0fd90e9
|
[CPP-386] Provide getCanonicalQLClass() predicate for many AST elements.
|
2019-07-13 12:19:40 -07:00 |
|
Ziemowit Laski
|
a4affbebbf
|
[CPP-386] Add ElementBase::getCanonicalQLClass().
|
2019-07-13 12:19:40 -07:00 |
|
Robert Marsh
|
41e46f6686
|
Merge pull request #1584 from geoffw0/swap
CPP: Model std::swap
|
2019-07-12 10:41:14 -07:00 |
|
Geoffrey White
|
a9b953f89a
|
CPP: Flip test output for consistency and easy comparison with the other tests.
|
2019-07-12 18:18:08 +01:00 |
|
Geoffrey White
|
cd449e1336
|
CPP: Change note.
|
2019-07-12 18:00:39 +01:00 |
|
Geoffrey White
|
c2fd2e273e
|
CPP: Model taint flow through std::swap.
|
2019-07-12 18:00:39 +01:00 |
|
Geoffrey White
|
f132bca06e
|
CPP: Add a taint flow test of 'std::swap'.
|
2019-07-12 16:37:01 +01:00 |
|
semmle-qlci
|
e1454abaf4
|
Merge pull request #1582 from xiemaisi/js/more-examples
Approved by asger-semmle
|
2019-07-12 13:01:46 +01:00 |
|
Max Schaefer
|
a41fb6571c
|
JavaScript: Address review comment.
|
2019-07-12 10:47:55 +01:00 |
|
semmledocs-ac
|
e1da6e915c
|
Merge pull request #1515 from geoffw0/continuefalseloop
CPP: Improvements to ContinueInFalseLoop.ql
|
2019-07-12 08:38:22 +01:00 |
|
Max Schaefer
|
0ad51ac273
|
JavaScript: Add syntax examples in Classes.qll, JSX.qll and Templates.qll.
|
2019-07-12 08:37:49 +01:00 |
|
Dave Bartolomeo
|
1b38208bab
|
Merge pull request #1567 from jbj/ir-operand-cycles
C++ IR: guard against cycles in operand graph
|
2019-07-11 13:14:10 -07:00 |
|
Dave Bartolomeo
|
c73b516862
|
Merge pull request #1541 from jbj/ir-operand-exact
C++ IR: Make instruction operand getters have only exact results
|
2019-07-11 13:13:20 -07:00 |
|
Dave Bartolomeo
|
00ff2bb6c4
|
Merge pull request #1554 from jbj/ir-ErrorExpr
C++ IR: support for translating ErrorExpr
|
2019-07-11 13:05:04 -07:00 |
|
Jonas Jensen
|
23001d5471
|
Merge pull request #1566 from rdmarsh2/rdmarsh/cpp/pure-functions-effect-model
C++: alias and side effect info for pure functions
|
2019-07-11 21:21:54 +02:00 |
|
Geoffrey White
|
bfe570399a
|
CPP: Update change note.
|
2019-07-11 20:06:29 +01:00 |
|
Geoffrey White
|
ed069fe3cc
|
CPP: Upgrade precision/severity.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
62fb216102
|
CPP: Fix false positive.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
629d127174
|
CPP: QLDoc comments.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
e1efdd7d47
|
CPP: Add a test where continue is used in a switch to exit the loop.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
3337a859aa
|
CPP: Corrections to qhelp.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
83b0906f67
|
CPP: Change note.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
4c4be2d3c2
|
CPP: Add (basic) qhelp.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
8a3f8c5c1d
|
CPP: Add precision/tags and adjust severity.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
83d4b23ae3
|
CPP: Fix false positives in while/for loops.
|
2019-07-11 20:00:50 +01:00 |
|
Geoffrey White
|
136ca72297
|
CPP: Add a test.
|
2019-07-11 20:00:49 +01:00 |
|
Robert Marsh
|
c195420ba1
|
C++: respond to PR comments
|
2019-07-11 11:00:52 -07:00 |
|
semmle-qlci
|
3f464926a2
|
Merge pull request #1579 from adityasharad/merge/1.20-1.21
Approved by asger-semmle
|
2019-07-11 17:35:10 +01:00 |
|
Geoffrey White
|
db6be05a92
|
Merge pull request #1580 from jbj/inconsistent-loop-direction-perf
C++: Fix inconsistent-loop-direction performance
|
2019-07-11 16:39:05 +01:00 |
|
Asger F
|
ab00da763d
|
JS: Autoformat
|
2019-07-11 16:24:09 +01:00 |
|
Asger F
|
ec288c1eb1
|
JS: Update more expected test output
|
2019-07-11 16:23:48 +01:00 |
|
Asger F
|
5124fae7b4
|
JS: Add a change note
|
2019-07-11 16:23:48 +01:00 |
|
Asger F
|
06e9e5ca39
|
JS: Make FunctionNode and ClassNode use inferred names
|
2019-07-11 16:23:48 +01:00 |
|