Geoffrey White
13e2109a38
CPP: Remove an unnecessary include.
2019-09-04 09:42:07 +01:00
Jonas Jensen
d3a6ae5657
C++: Support nested field flow
...
This is the C/C++ side of PR #1766 .
2019-09-03 08:50:15 +02:00
Jonas Jensen
e9a029cba3
C++: Local field flow using global library
...
This commit removes fields from the responsibilities of `FlowVar.qll`.
The treatment of fields in that file was slow and imprecise.
It then adds another copy of the shared global data flow library, used
only to find local field flow, and it exposes that local field flow
through `localFlow` and `localFlowStep`.
This has a performance cost. It adds two cached stages to any query that
uses `localFlow`: the stage from `DataFlowImplCommon`, which is shared
with all queries that use global data flow, and a new stage just for
`localFlowStep`.
2019-09-02 11:17:27 +02:00
Jonas Jensen
4f57f37b31
C++: Test to show false flow through object copy
2019-09-02 11:16:48 +02:00
semmle-qlci
0cf872ed32
Merge pull request #1846 from hvitved/csharp/autoformat
...
Approved by jbj
2019-09-02 08:31:43 +01:00
Anders Schack-Mulligen
5e6326d1d5
Java/C++/C#: Add support for dataflow exploration by partial paths.
2019-08-30 14:32:55 +02:00
Tom Hvitved
75eb7f92a2
C++: Sync identical files
2019-08-30 09:54:05 +02:00
zlaski-semmle
f2025116d5
Merge pull request #1771 from geoffw0/qldoceg8
...
CPP: Add syntax examples to QLDoc in NameQualifiers.qll
2019-08-29 15:16:37 -07:00
Nick Rolfe
36b42def1c
Merge pull request #1841 from ian-semmle/valuetext
...
C++: Split valuetext off into its own table
2019-08-29 17:42:14 +01:00
Geoffrey White
11da14c5f2
Merge pull request #1838 from jbj/leap-year-name
...
C++: Change name of UncheckedReturnValueForTimeFunctions.ql
2019-08-29 17:32:31 +01:00
Geoffrey White
1215da2d6c
Merge pull request #1827 from jbj/sbb-tidy
...
C++: Tidy up SubBasicBlocks.qll
2019-08-29 15:42:40 +01:00
Geoffrey White
a84f19238b
CPP: Add a scoped enum example.
2019-08-29 15:38:17 +01:00
Ian Lynagh
c08eb7e8c7
C++: Tweak the getValueText() code
2019-08-29 14:59:05 +01:00
Jonas Jensen
be7be1fb38
C++: Improve name/descr. of leap year queries
2019-08-29 15:53:51 +02:00
Ian Lynagh
28832c9021
C++: Add a comment
2019-08-29 10:32:34 +01:00
Calum Grant
d2bee79370
Merge pull request #1600 from AndreiDiaconu1/ircsharp
...
C#: Initial port of IR for C#
2019-08-29 09:26:34 +01:00
Ian Lynagh
395197432f
C++: Update stats for valuetext
2019-08-28 22:52:14 +01:00
Geoffrey White
2e0c1af6c4
Merge pull request #1836 from jbj/xheader-undef
...
C++: Support x-macros that are #undef'ed in header
2019-08-28 17:16:50 +01:00
Tom Hvitved
853a3aa998
Merge pull request #1799 from aschackmull/java/fieldflow-perf
...
Java/C++/C#: Improve performance of data flow with fields.
2019-08-28 16:30:25 +02:00
Ian Lynagh
6d18b4e894
C++: If we don't have a valuetext, then see if one of our conversions does
2019-08-28 14:49:51 +01:00
Ian Lynagh
95794f9227
C++: Handle values with no valuetext
2019-08-28 14:27:08 +01:00
Ian Lynagh
754612d257
C++: Split valuetext off into its own table
2019-08-28 14:09:13 +01:00
Jonas Jensen
d4f8e73a66
C++: Change name of UncheckedReturn...Functions.ql
...
The previous name was identical to the name of
`Adding365DaysPerYear.ql`. It may have been a copy-paste error.
2019-08-28 14:05:31 +02:00
AndreiDiaconu1
c74898ec9f
Synced files
...
Synced the files that are needed for this PR
2019-08-28 12:25:14 +01:00
Dave Bartolomeo
609ca034c0
C#/C++: Share IR implementation
2019-08-28 12:25:13 +01:00
Jonas Jensen
2c253f360a
C++: Support x-macros that are #undef'ed in header
...
This fixes a false positive on https://github.com/zduka/tpp .
2019-08-28 13:03:16 +02:00
Jonas Jensen
e7dfb3e61b
C++: Test for x-macro FP observed in the wild
2019-08-28 13:03:09 +02:00
Jonas Jensen
8c610e4f68
C++: Don't use deprecated interface in test
2019-08-28 08:31:05 +02:00
Jonas Jensen
b98d6379e9
C++: Restore and deprecate getPosInBasicBlock
...
This predicte was still used in a test, so it might be used in external
code too.
2019-08-28 08:29:06 +02:00
Jonas Jensen
3700a631a6
C++: Performance fix for existsCompleteWithName
2019-08-27 16:28:57 +02:00
Jonas Jensen
4cae5917cb
C++: Remove one nomagic and explain the other
2019-08-26 21:48:18 +02:00
Jonas Jensen
2332dada1a
C++: s/pos/index/ in SubBasicBlocks
2019-08-26 21:35:58 +02:00
Jonas Jensen
92c354e8e8
C++: Simplify SubBasicBlock::getNumberOfNodes
2019-08-26 21:11:42 +02:00
Jonas Jensen
2b94bb9eda
C++: Use the word "rank" to denote a rank
...
Previously, the word "position" was used ambiguously in this library.
2019-08-26 16:13:08 +02:00
Jonas Jensen
17ee3f555c
C++: Sync the two copies of SubBasicBlocks.qll
...
These files are now added to `identical-files.json` so they will remain
in sync.
2019-08-26 16:01:36 +02:00
Pavel Avgustinov
deacc23465
Merge pull request #1824 from jbj/sbb-perf
...
C++: Optimize SubBasicBlocks library
2019-08-26 13:02:43 +01:00
Jonas Jensen
5e674825e3
C++: Optimize SubBasicBlock::getPosInBasicBlock()
2019-08-26 12:47:40 +02:00
Jonas Jensen
d4f1cf97fd
C++: Optimize SubBasicBlock::getNode(int)
2019-08-26 12:22:37 +02:00
Jonas Jensen
be24c6418b
C++: Optimize SubBasicBlock::getNumberOfNodes()
2019-08-26 12:22:34 +02:00
Jonas Jensen
27b6ed3be4
Merge pull request #1822 from pavgust/fix/multiloc-defs
...
definitions.qll: Suppress multi-location links.
2019-08-26 10:50:21 +02:00
zlaski-semmle
c276d0b8ac
Merge pull request #1770 from geoffw0/qldoceg7
...
CPP: Add syntax examples to QLDoc in various files
2019-08-25 20:15:51 -07:00
Pavel Avgustinov
b9b0c3bc5d
definitions.qll: Suppress multi-location links.
2019-08-25 15:59:17 +01:00
Anders Schack-Mulligen
2bea0a459a
Java/C++/C#: Sync.
2019-08-23 11:34:17 +02:00
Geoffrey White
cf6ada5758
CPP: Update stats.
2019-08-23 08:44:29 +01:00
Geoffrey White
29000c411c
CPP: Make LambdaCapture an Element.
2019-08-23 08:44:29 +01:00
Geoffrey White
6462da736b
CPP: Another test case.
2019-08-23 08:44:29 +01:00
Geoffrey White
19a0d4697e
CPP: More thorough test of LambdaCapture.
2019-08-23 08:44:29 +01:00
Robert Marsh
23b74b5521
Merge pull request #1750 from dave-bartolomeo/dave/ZooKeeper
...
C++: Minimal IR support for `GNUVectorType`
2019-08-22 14:34:59 -07:00
Calum Grant
ff20a2ceb9
Merge pull request #1761 from hvitved/csharp/dataflow/fields
...
C#: Data flow through fields
2019-08-22 20:46:00 +01:00
Dave Bartolomeo
a84a7e8c8a
C++: Fixup after rebase
2019-08-22 11:36:15 -07:00
