Calum Grant
39f550b6d2
Merge pull request #2054 from hvitved/csharp/autobuilder/log-cleanup
...
C#: Cleanup more files after failed autobuilder attempt
2019-10-01 15:55:58 +01:00
Calum Grant
b4da63b3f2
Merge pull request #2061 from hvitved/csharp/local-function-label
...
C#: Prepend enclosing method in local function TRAP labels
2019-10-01 15:19:04 +01:00
Jonas Jensen
7434702958
Merge pull request #1735 from rdmarsh2/rdmarsh/cpp/ir-dataflow-def-by-ref-2
...
C++: side effect IR instructions for pointer arguments
2019-10-01 11:35:19 +02:00
Tom Hvitved
413926f675
C#: Prepend enclosing method in local function TRAP labels
2019-10-01 10:25:18 +02:00
Robert Marsh
d1e2ddcf99
C#: sync unalised_ssa IR stage and add to check
2019-09-30 12:53:00 -07:00
Robert Marsh
ee3b40bd89
C#: sync changes and accept test output
2019-09-30 12:00:55 -07:00
Robert Marsh
9f20cb83c3
C++/C#: Autoformat
2019-09-30 12:00:55 -07:00
Robert Marsh
8649978a43
C++: add indexes for specific side effects
2019-09-30 12:00:53 -07:00
Robert Marsh
49088e7f09
C++: Fix formatting and dropped line
2019-09-30 12:00:53 -07:00
Robert Marsh
3d562243e4
C++: add side effects for outparams
2019-09-30 12:00:52 -07:00
Tom Hvitved
4f2ca11d2c
C#: Suppress cs/similar-file alerts
2019-09-30 19:26:02 +02:00
Calum Grant
ad8ae35c82
Merge pull request #1956 from hvitved/csharp/get-an-out-node
...
C#: Refactor `getAnOutNode()` predicate
2019-09-30 16:58:21 +01:00
Tom Hvitved
c18d0430de
C#: Cleanup more files after failed autobuilder attempt
2019-09-30 12:08:25 +02:00
Tom Hvitved
b7595ed60e
C#: Remove duplicated class
2019-09-30 09:11:47 +02:00
Calum Grant
abdf7ce223
Merge pull request #2045 from AndreiDiaconu1/ircsharp-various-fixes
...
C# IR: Minor sanity fixes
2019-09-27 15:51:07 +01:00
Calum Grant
09f441a27e
Merge pull request #2009 from AndreiDiaconu1/ircsharp-rangeanalysis
...
C# IR: Add range analysis library
2019-09-27 14:27:41 +01:00
AndreiDiaconu1
c5cd5f489f
Autoformat
2019-09-27 13:07:20 +01:00
AndreiDiaconu1
f5b31ae9f5
Static fields
...
The translation of static fields now uses `VariableAddress` instead of `FieldAddress`. This fixes the logic as well as the "field address without qualifier address" sanity check.
2019-09-27 12:21:47 +01:00
AndreiDiaconu1
21513102f7
Compiler generated constructor
...
Fixed a problem when the translating the compiler generated constructors that caused some sanity errors (since they have no body, when translating the constructor block fragmentation happened). Fixed this by skipping the translation of the body, if it does not exist (when translating a function).
2019-09-27 12:20:39 +01:00
AndreiDiaconu1
a7a5eaa23f
Address PR comments
2019-09-26 16:49:18 +01:00
AndreiDiaconu1
0999780d82
Address PR comments
2019-09-26 11:51:54 +01:00
AndreiDiaconu1
3a5140c0f5
Indexers and events
...
Added test for indexers.
Added support for event accesses and added test.
2019-09-26 11:46:16 +01:00
AndreiDiaconu1
16d8d2efa1
Remove useless translation
2019-09-26 11:46:16 +01:00
AndreiDiaconu1
d6e4a2afef
Autoformat
2019-09-24 17:26:13 +01:00
AndreiDiaconu1
3f4713f0f5
Add tests and query
2019-09-24 14:53:12 +01:00
AndreiDiaconu1
1b47f80a7a
C# implementation
2019-09-24 14:53:12 +01:00
AndreiDiaconu1
f25602bf1c
Initial, C++ implementation
2019-09-24 14:53:12 +01:00
AndreiDiaconu1
9228cf83fa
Address PR comments
2019-09-24 14:49:09 +01:00
AndreiDiaconu1
a86a15d280
Fix problem with IsExpr
...
The translation of `IsExpr` created a sanity check to fail since it generated
a Phi node that had only one source: if a variable was declared as part of the `IsExpr`, a conditional branch was generated, and the variable was defined only in the true successor; this has been changes so that the declaration happens before the conditional branch, and the variable is uninitialized (this removed the need for the `isInitializedByElement` predicate from `TranslatedDeclarationBase`, so that has been removed) and only the assignment happens in the true successor block (so now the two inputs of the Phi node are the result of the `Uninitialized` instruction and the `Store` instruction from the true successor block).
2019-09-23 17:37:50 +01:00
AndreiDiaconu1
17e6b80a34
Added C# implementation
2019-09-23 17:31:24 +01:00
AndreiDiaconu1
1dab4e0e26
Initial commit, C++ files
2019-09-23 17:31:24 +01:00
AndreiDiaconu1
7f76947af0
Autoformat
2019-09-23 15:03:38 +01:00
AndreiDiaconu1
ae503b2982
Remove incorrect Load
...
Removed an incorrect `Load` op generated by propery accesses.
2019-09-23 14:43:08 +01:00
AndreiDiaconu1
3c95205f2e
Minor fixes for array related translation
...
More accurate type sizes using language specific predicates from `IRCSharpLanguage.qll`.
Added immediate operands for some `PointerX` (add, sub) instructions.
Some other minor consistency fixes.
2019-09-23 14:37:31 +01:00
Tom Hvitved
e4d17a9b04
C#: Refactor getAnOutNode() predicate
2019-09-22 18:55:34 +02:00
Calum Grant
b31cd8ab32
Merge pull request #1982 from hvitved/csharp/null-maybe-dynamic
...
C#: Remove false positives from `cs/dereferenced-value-may-be-null`
2019-09-20 14:46:01 +01:00
Calum Grant
478095223e
Merge pull request #1983 from hvitved/csharp/unit-test-windows
...
C#: Fix broken unit test on Windows
2019-09-20 13:52:01 +01:00
Tom Hvitved
cb6e1536a3
C#: Fix broken unit test on Windows
2019-09-20 11:40:18 +02:00
Max Schaefer
4fe74c0b2a
Merge pull request #1960 from Semmle/rc/1.22
...
Merge rc/1.22 into master
2019-09-20 09:08:40 +01:00
Tom Hvitved
aa0c78cd85
C#: Teach guards library about more null guards
2019-09-20 09:58:04 +02:00
Tom Hvitved
40fafc5fda
C#: Teach comparison library about dynamic comparison operations
2019-09-20 09:51:35 +02:00
Tom Hvitved
c923cc6378
C#: Add tests for dynamic comparisons
2019-09-20 09:19:03 +02:00
Tom Hvitved
cb7db8f4c0
C#: Add more nullness tests
2019-09-20 09:18:55 +02:00
semmle-qlci
0387177acd
Merge pull request #1851 from hvitved/csharp/early-identify-duplicate-extraction
...
Approved by calumgrant
2019-09-19 19:45:33 +01:00
Tom Hvitved
61bd9f2f17
C#: Address review comments
2019-09-19 13:39:16 +02:00
Calum Grant
68a67c396d
Merge pull request #1944 from lcartey/csharp/autobuild-multiple-solutions
...
C# autobuilder: Build all solutions at the highest depth
2019-09-19 10:49:49 +01:00
AndreiDiaconu1
c64db777ee
More auto formatting
2019-09-19 10:31:25 +01:00
AndreiDiaconu1
e18b36bebf
Make preds private, autoformat
2019-09-19 10:31:25 +01:00
AndreiDiaconu1
3a83dc54aa
Update indexing logic
2019-09-19 10:31:25 +01:00
AndreiDiaconu1
47750513de
Address PR comment and fix bug
...
Fixes a bug where loads for array indexes would be ignored, even though the only ignored load in an array access should be the qualifier's.
2019-09-19 10:31:25 +01:00
