Jonas Jensen
34659422db
C++: Simplify isStrictlyForwardGoto
...
We had an existing `Location.isBefore` predicate that was just right for
this use case. Performance is great thanks to magic.
2019-01-25 09:59:28 +01:00
Jonas Jensen
6d09a9b324
C++: Enable range analysis for irreducible CFGs
...
This adds one new test result (`i >= 0` on line 130).
2019-01-25 09:31:07 +01:00
Jonas Jensen
2aca40a021
Merge pull request #736 from geoffw0/macroinv2
...
CPP: Deprecate MacroInvocationExpr and MacroInvocationStmt
2019-01-25 09:02:02 +01:00
semmle-qlci
281c944432
Merge pull request #774 from jbj/dataflow-asExpr-conversion
...
Approved by dave-bartolomeo
2019-01-25 08:00:51 +00:00
Max Schaefer
e6672aaf70
Merge pull request #804 from esben-semmle/js/sharpen-unneeded-defensive
...
JS: better handling of nested expressions in js/unneeded-defensive-code
2019-01-25 11:23:51 +08:00
Sebastian Bauersfeld
f56fb6d774
Address review comments.
2019-01-24 16:09:06 -05:00
Robert Marsh
44d8e6b6e2
C++: respond to PR comments
2019-01-24 10:50:56 -08:00
Geoffrey White
45476f3047
Merge pull request #739 from jbj/strcpy-fixups
...
C++: Clean up "Use of string copy function in a condition" query
2019-01-24 17:50:40 +00:00
Geoffrey White
c9c7ca9f0c
CPP: Tag metric queries.
2019-01-24 17:36:13 +00:00
Geoffrey White
9bf0843776
CPP: Change note.
2019-01-24 15:15:03 +00:00
Geoffrey White
d042890842
CPP: Assign a query precision.
2019-01-24 15:15:03 +00:00
Geoffrey White
02c69a744f
CPP: Fix false positive.
2019-01-24 15:15:02 +00:00
Jonas Jensen
a383a1d6c9
C++: Simpler and more general approx. of constexpr
2019-01-24 15:06:54 +01:00
Mark Shannon
88d8cb514c
Python: Two new queries for URL and hostname sanitization (CWE-020).
2019-01-24 12:57:14 +00:00
Geoffrey White
e1d31bf117
CPP: Add a test of ArrayArgSizeMismatch.ql.
2019-01-24 11:20:58 +00:00
Geoffrey White
08ae685aa0
CPP: Tag external-data queries.
2019-01-24 11:15:21 +00:00
Geoffrey White
ab89f1307d
CPP: Tag defect filter queries.
2019-01-24 11:15:21 +00:00
Geoffrey White
b791ff8c28
CPP: Tag metric filter queries.
2019-01-24 11:15:21 +00:00
Geoffrey White
132b29fa22
CPP: Tag the Architecture queries.
2019-01-24 11:15:21 +00:00
Geoffrey White
9a9b01bbb0
CPP: Add external/powerof10 tags.
2019-01-24 11:15:21 +00:00
Geoffrey White
30c6637415
CPP: Tag the Power of 10 queries.
2019-01-24 11:15:20 +00:00
Jonas Jensen
ea018a2abc
Merge pull request #816 from geoffw0/code-tidy-27
...
CPP: Code tidy / qldoc
2019-01-24 11:35:00 +01:00
Calum Grant
c6d0600e76
Merge pull request #798 from hvitved/csharp/accessor-calls
...
C#: Redefine `AccessorCall`
2019-01-24 10:21:32 +00:00
Jonas Jensen
61e23bed88
Merge branch 'master' into strcpy-fixups
2019-01-24 10:51:51 +01:00
jf205
0a4f2e8376
Merge pull request #813 from calumgrant/cs/sb-append-chars
...
C#: Fix FP in cs/call-to-object-tostring
2019-01-24 09:12:55 +00:00
Dave Bartolomeo
63ed0c5f21
Merge pull request #811 from jbj/ir-successor-sanity
...
C++: IR sanity queries for outgoing edges
2019-01-23 23:11:57 -08:00
semmle-qlci
085d5a6313
Merge pull request #818 from imsolost/master
...
Approved by esben-semmle
2019-01-24 06:36:43 +00:00
imsolost
e1aa3def25
removed extra parenthesis around argument for set state arrow function
2019-01-23 17:05:32 -08:00
Sebastian Bauersfeld
170acd539c
Add tests for ConfigFiles library.
2019-01-23 19:35:20 -05:00
Sebastian Bauersfeld
1727a0cd1f
Address review comments.
2019-01-23 18:01:35 -05:00
Robert Marsh
fa02042fda
C++: add more tests and rename test functions
2019-01-23 11:42:44 -08:00
Geoffrey White
fc142c71be
CPP: QLDoc cleanup.
2019-01-23 17:58:52 +00:00
Geoffrey White
7c6dfc90de
CPP: Make some implementation predicates private.
2019-01-23 17:48:32 +00:00
Geoffrey White
64141b2817
CPP: QLDoc cleanup.
2019-01-23 17:48:32 +00:00
calum
c213cd451e
C#: Update change notes.
2019-01-23 16:20:09 +00:00
calum
420c943cce
C#: Fix FP in cs/call-to-object-tostring
2019-01-23 16:14:25 +00:00
Mark Shannon
4ef3f461a4
Python: Fix typo and use infix casts.
2019-01-23 14:07:50 +00:00
Taus
ffa8b12d48
Merge pull request #782 from markshannon/python-add-more-tests
...
Python: Add more tests
2019-01-23 14:04:23 +01:00
Mark Shannon
0ea2d56945
Python tests: Move helper predicate into TestUtils.qll
2019-01-23 11:20:04 +00:00
Taus
d735c363e8
Merge pull request #797 from markshannon/python-hide-check-class
...
Python: Hide 'CheckClass' class
2019-01-23 12:04:01 +01:00
Asger F
bb775e3343
JS: reapply review fixes
2019-01-23 10:42:03 +00:00
Jonas Jensen
bb7369e844
C++: Use new back-edge def. in range analysis
...
By using this new definition of back edges, the range analysis should
work on code that uses unstructured `goto`s.
2019-01-23 11:40:13 +01:00
Jonas Jensen
b40accee6f
C++: sanity checks for back edges
2019-01-23 11:40:12 +01:00
Jonas Jensen
38f7ec7d18
C++: Initial implementation of back-edge detection
2019-01-23 11:40:12 +01:00
Taus
0217451529
Merge pull request #789 from markshannon/python-points-to-extension-enhancement
...
Python: Internal points-to extension enhancement.
2019-01-23 11:31:36 +01:00
Jonas Jensen
b2e5d235de
C++: IR sanity queries for outgoing edges
...
These queries have no results on our test cases in the repo, but
`ambiguousSuccessors` has results on any large C++ code base, and
`unexplainedLoop` has results on Windows builds of ChakraCore.
2019-01-23 11:07:49 +01:00
Jonas Jensen
eaa5a5fab7
Merge pull request #809 from geoffw0/enclosing
...
CPP: Small change to 'Resource not released in destructor'
2019-01-23 11:07:21 +01:00
Dave Bartolomeo
bfb8125474
Merge pull request #754 from jbj/copy-assignment-no-effect
...
C++: Exclude assignment operator in ExprHasNoEffect
2019-01-23 00:46:17 -08:00
Tom Hvitved
338754ffda
Merge pull request #800 from calumgrant/cs/winforms
...
C#: Add sources from System.Windows.Forms controls
2019-01-23 09:07:02 +01:00
Tom Hvitved
779039b8bb
C#: Address review comments
2019-01-23 08:56:39 +01:00
