Robert Marsh
54fdf9f29d
C++/Docs: respond to doc comments on PR
2019-01-28 09:34:45 -08:00
Geoffrey White
f1dc538796
CPP: Add a test using strtoul in a taint query.
2019-01-28 16:59:02 +00:00
Jonas Jensen
ccfb1c229a
Merge pull request #831 from geoffw0/query-tags-5
...
CPP: Tweak tags for consistency
2019-01-28 10:55:09 +01:00
Jonas Jensen
4d441a3bdb
Merge pull request #824 from geoffw0/fread
...
CPP: Add 'fread' to BufferAccess.qll
2019-01-28 09:07:22 +01:00
Jonas Jensen
0dad04bd7e
Merge pull request #829 from geoffw0/deprecate-fpv
...
CPP: Deprecate FunctionPointerVariable and FunctionPointerMemberVariable
2019-01-28 08:47:49 +01:00
Robert Marsh
9decbd9c9f
C++: new irreducible CFG test for range analysis
2019-01-25 13:12:40 -08:00
Geoffrey White
1328cb8013
CPP: Tweak tags for consistency across near duplicate queries.
2019-01-25 16:50:05 +00:00
Geoffrey White
98ba308207
CPP: Use memberMayBeVarSize.
2019-01-25 16:40:11 +00:00
Geoffrey White
c527f9c90c
CPP: Upgrade precision to high.
2019-01-25 16:38:25 +00:00
Jonas Jensen
c90d4bb24c
Merge pull request #822 from geoffw0/query-tags-4
...
CPP: Query tags 4
2019-01-25 17:08:56 +01:00
Geoffrey White
7bc734aa50
CPP: Deprecate FunctionPointerVariable and FunctionPointerMemberVariable.
2019-01-25 14:57:37 +00:00
Jonas Jensen
ba8bf94d7b
C++: Account for chi nodes in back-edge detection
2019-01-25 15:32:19 +01:00
Jonas Jensen
560dbdf984
C++: Test demonstrating chi node back edge bug
...
This test shows that the back-edge detection does not properly account
for chi nodes in the translation to aliased SSA.
2019-01-25 15:28:53 +01:00
Jonas Jensen
9963270d63
C++: Annotate back edges in IR debug output
2019-01-25 14:16:45 +01:00
Geoffrey White
1a044a0a22
CPP: Add 'fread' to BufferAccess.qll.
2019-01-25 12:58:25 +00:00
Geoffrey White
fd6365838b
CPP: Add test cases involving fread.
2019-01-25 12:58:25 +00:00
Jonas Jensen
62509ffb69
C++: Add a back-edge safeguard
...
This prevents loops of non-back-edges on ChakraCore (see #811 ).
2019-01-25 12:12:31 +01:00
Jonas Jensen
5b2b961a44
C++: Fix comment (edge is not unique)
2019-01-25 11:28:23 +01:00
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
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
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
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
Jonas Jensen
61e23bed88
Merge branch 'master' into strcpy-fixups
2019-01-24 10:51:51 +01: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
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
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
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
Geoffrey White
175ff9644a
CPP: Change * to +.
2019-01-22 16:41:57 +00:00
Geoffrey White
fccf30eff5
Merge pull request #803 from jbj/commented-out-code-const
...
C++: Recognize more function decls as code
2019-01-22 16:40:08 +00:00
