semmle-qlci
81b78dce56
Merge pull request #1603 from xiemaisi/js/more-examples
...
Approved by asger-semmle
2019-07-17 14:07:07 +01:00
Geoffrey White
72d01789a3
CPP: Change note.
2019-07-17 13:23:59 +01:00
Max Schaefer
ae07546026
JavaScript: Add syntax examples to Comments.qll, E4X.qll, Functions.qll, HTML.qll and NodeJS.qll.
2019-07-17 13:03:45 +01:00
Geoffrey White
48a60651b6
CPP: Fix query.
2019-07-17 11:43:05 +01:00
Geoffrey White
aa368d8763
CPP: Add test cases.
2019-07-17 11:38:59 +01:00
Mark Shannon
71d353f03b
Python: Performance improvements to points-to. Uses extensional (not IPA) for origins and prevents some harmful magic.
2019-07-17 10:25:23 +01:00
Pavel Avgustinov
de24bec41f
Merge pull request #1596 from Semmle/xiemaisi-patch-1
...
Fix indentation of list item in code of conduct
2019-07-17 10:07:37 +01:00
Asger F
cee742152d
JS: Update test outputs
2019-07-17 09:16:15 +01:00
Ziemowit Laski
f0982791e3
[CPP-340] Remove colons and extraenous QLDoc comments; add a few more classes.
2019-07-16 17:58:39 -07:00
Dave Bartolomeo
e58df94672
Remove unnecessary dependencies on cpp
2019-07-16 15:10:46 -07:00
Dave Bartolomeo
60b3ffe3d5
Make all imports of cpp private
2019-07-16 15:02:26 -07:00
zlaski-semmle
6764390970
Merge pull request #1586 from geoffw0/norm-taint-test
...
CPP: Normalize the taint tests
2019-07-16 11:49:42 -07:00
Asger F
b2fcea4fd2
JS: Allow PropAccess when guessing name
2019-07-16 17:29:56 +01:00
Geoffrey White
1b7d1c37ec
CPP: Test showing that Adding365daysPerYear.ql doesn't actually care whether the return value of the time conversion function is checked.
2019-07-16 17:29:30 +01:00
Mark Shannon
3035178391
Python: Better API for parameters.
2019-07-16 16:50:40 +01:00
Asger F
1c2d874c55
JS: Quantify of ValueProperty instead of Property
2019-07-16 16:27:11 +01:00
Asger F
4e77a368c3
JS: Avoid having multiple names again
2019-07-16 16:23:27 +01:00
Asger F
9408b96b9a
JS: Update yet more tests
2019-07-16 16:09:29 +01:00
Mark Shannon
b4d413cfa8
Python points-to: Track implicit module attributes through phi-nodes.
2019-07-16 15:39:58 +01:00
Asger F
448f143566
JS: Update change note
2019-07-16 11:23:26 +01:00
Asger F
7da341ba04
JS: Merge getInferredName() => getName()
2019-07-16 11:21:33 +01:00
Asger F
b2da2d2a4b
JS: update tests again
2019-07-16 10:47:23 +01:00
semmle-qlci
5944ec685a
Merge pull request #1592 from Semmle/revert-1538-TypeTrackingInPortals
...
Approved by asger-semmle
2019-07-16 10:34:21 +01:00
Calum Grant
87a43718e9
Merge pull request #1588 from felicity-semmle/qhelp/SD-3447-commented-out-code
...
Update Python and C# help for commented-out code to use common qhelp
2019-07-16 09:38:33 +01:00
Max Schaefer
3eb0542d7e
Fix indentation of list item in code of conduct
2019-07-16 08:49:29 +01:00
Robert Marsh
1f17cfb8ad
C++: add comments and private annotations
2019-07-15 14:47:21 -07:00
zlaski-semmle
48842c8fb5
Merge pull request #1593 from geoffw0/stackforreturn
...
CPP: Fix FP in AllocaInLoop.ql
2019-07-15 12:08:46 -07:00
Geoffrey White
4df176ae34
CPP: Add test coverage for isModifiedByArithmeticOperation.
2019-07-15 19:42:50 +01:00
Robert Marsh
86a018b0b4
C++: overlapping def/use must share IRVariable
2019-07-15 10:35:57 -07:00
Robert Marsh
20e67eb37a
C++: improve performance of overlap computation
...
This is still quadratic in the number of MemoryLocations for a vvar, but
only for a single pipeline step, which is not materialized. It seems to be
fast enough in practice for the IR.
2019-07-15 10:15:58 -07:00
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
