Tamas Vajk
410af42d2b
C#: Adjust PR feedback on assertion methods
2020-10-28 15:09:50 +01:00
Tamás Vajk
59d9be48a7
Merge pull request #4438 from tamasvajk/feature/ast-fixes
...
C#: Fixes for AST printing
2020-10-28 14:52:24 +01:00
Tom Hvitved
2fea6f05f1
Merge pull request #4489 from hvitved/csharp/cil-to-string
...
C#: Simplify `toString()` for CIL entities
2020-10-28 12:56:10 +01:00
Tamas Vajk
1830eea50a
C#: Cleanup TypeMentions in AST printing
2020-10-28 12:34:12 +01:00
Tamas Vajk
444b100c51
Minor fix in definitions.qll
2020-10-28 12:23:12 +01:00
Tamas Vajk
a9e93e5681
C#: Fix GenericType locations in jump-to-definition
2020-10-28 12:07:27 +01:00
Tamas Vajk
9cc7424cd0
C#: Simplify TypeMentions in PrintAST
2020-10-28 11:28:06 +01:00
Tom Hvitved
28607927ee
C#: Update CIL tests
2020-10-28 10:57:01 +01:00
Tamás Vajk
7c3964a388
Merge pull request #4543 from tamasvajk/feature/configureawait
...
C#: Add flow summary for 'Task.ConfigureAwait()'
2020-10-28 10:42:44 +01:00
Tamas Vajk
7a1e1996e4
C#: Remove unneded class from CompilerServices.qll
2020-10-28 08:42:20 +01:00
Tom Hvitved
de4ed59f62
C#: Simplify toString() for CIL entities
2020-10-27 20:58:40 +01:00
Tom Hvitved
090ea01249
C#: Fix bad join-order in System.Tuple flow-summaries
2020-10-27 14:51:11 +01:00
Tom Hvitved
03a36760b8
C#: Add data-flow test for ConfigureAwait()
2020-10-27 10:23:39 +01:00
Tamas Vajk
342a711296
C#: Add flow summary for 'Task.ConfigureAwait()'
2020-10-27 10:23:39 +01:00
Tom Hvitved
212b49f3dc
Merge pull request #4416 from hvitved/csharp/dataflow/tuples
...
C#: Add flow summaries for `System.[Value]Tuple`
2020-10-26 13:48:24 +01:00
Chris Smowton
68876b02fe
Merge pull request #4519 from smowton/smowton/cleanup/loggertype-dead-code
...
C#: Remove dead LoggerType class
2020-10-26 11:19:27 +00:00
Tom Hvitved
492b1141ef
Merge pull request #4445 from hvitved/csharp/sign-analysis-cfg
...
C#: Use CFG nodes instead of AST nodes in sign/modulus analysis
2020-10-26 09:45:38 +01:00
Robert Marsh
1a365d2098
C++: remove InitializeNonLocalInstruction from IR
...
Instead, have AliasedDefinition initialize read-only nonlocal memory
2020-10-21 12:12:38 -07:00
Dave Bartolomeo
735c657326
IR consistency checks for FieldAddress and this arguments that are not actually addresses.
...
Exposes failures in existing tests. Also added a small test case for `FieldAddress` on a prvalue.
2020-10-20 10:32:28 -04:00
Chris Smowton
af6da85ec9
Remove dead LoggerType class
...
This appears to have been factored into Loggers.qll but left lying around.
2020-10-20 13:32:11 +01:00
Tamas Vajk
5d0c30db66
C#: Fix nullable reference type handling in type mention extraction
2020-10-20 08:23:57 +02:00
Tamas Vajk
dad5166bca
C#: Print full name of type mentions in AST
2020-10-20 08:23:57 +02:00
Tamas Vajk
7929d8a982
C#: Fix generic type name location in AST
2020-10-20 08:23:56 +02:00
Tamas Vajk
037907e442
C#: Fix qualified name type mention extraction
2020-10-20 08:23:56 +02:00
Tamas Vajk
238ed2e643
C#: Make array and pointer type mentions symmetrical
2020-10-20 08:23:56 +02:00
Tamas Vajk
a87343dd69
C#: Add more type test cases to cover type mentions
2020-10-20 08:23:56 +02:00
Tamas Vajk
f0a40f6e5e
C#: Fix type mention for stackalloc to span assignment
2020-10-20 08:23:56 +02:00
Tamas Vajk
7cb4d6d7a0
C#: Fix type mentions for stackalloc arrays
2020-10-20 08:23:56 +02:00
Tamas Vajk
ca6ecb3f1e
C#: Extract type mention for array creation
2020-10-20 08:23:56 +02:00
Tamas Vajk
7066568813
C#: Change type access and expression order in casts for AST printing
2020-10-20 08:23:56 +02:00
Tamas Vajk
6c48eb8c12
C#: Add type mentions to AST
2020-10-20 08:23:56 +02:00
Dave Bartolomeo
b73cb3a4ce
Accept C# IR diffs
2020-10-18 11:11:05 -04:00
Dave Bartolomeo
40cd96eb1d
Merge from main
2020-10-17 15:14:26 -04:00
Dave Bartolomeo
4e0afb0dc3
Print targets of Load and Store instructions in IR dump
2020-10-17 15:01:45 -04:00
Dave Bartolomeo
a80c6fbf97
C++: Print target variable name for Load and Store, if known
...
Now that we've started printing the targets of `Call` instructions in the IR dumps, I figured I might as well print the names of the variable being loaded or stored as well. We could potentially extend this to match fields, array elements, etc., but that's quite a bit more work.
2020-10-17 14:21:27 -04:00
Dave Bartolomeo
6a9ecf7ba2
Dump static call target for Call instructions
2020-10-16 12:55:30 -04:00
Dave Bartolomeo
6a6eadcf50
C++: Print static call target for Call instruction in dumps
2020-10-16 11:53:27 -04:00
Anders Schack-Mulligen
b352605d12
Dataflow: Code review fixes.
2020-10-16 13:45:51 +02:00
Anders Schack-Mulligen
664f04020f
Revert "Dataflow: Count callables instead of nodes for fieldFlowBranchLimit."
...
This reverts commit 1501a40de8
2020-10-16 12:51:50 +02:00
Anders Schack-Mulligen
1501a40de8
Dataflow: Count callables instead of nodes for fieldFlowBranchLimit.
2020-10-16 12:51:17 +02:00
Anders Schack-Mulligen
6aae51fa4f
Dataflow: Sync.
2020-10-16 12:51:17 +02:00
Tamas Vajk
52bdd8bf99
C#: Add support for custom assert methods ([DoesNotReturnIf(true/false)])
2020-10-16 12:25:03 +02:00
Tom Hvitved
5f01fda1ef
Data flow: Sync files
2020-10-16 09:05:02 +02:00
Tom Hvitved
82e56d4ebb
Data flow: Simplify pathStep and pathIntoCallable
2020-10-16 09:05:02 +02:00
Anders Schack-Mulligen
94f110f739
Sync.
2020-10-16 09:05:01 +02:00
Tom Hvitved
d48a6a5555
C#: Update expected test output
2020-10-16 09:04:58 +02:00
Tom Hvitved
d608138c0c
Data flow: Sync files
2020-10-16 09:03:13 +02:00
Tom Hvitved
a35a178080
Data flow: Precise access paths
2020-10-16 09:03:13 +02:00
Tom Hvitved
0dc066c515
Data flow: Rename AccessPath to AccessPathApprox
2020-10-16 09:03:13 +02:00
Mathias Vorreiter Pedersen
da9e33a72c
Merge pull request #4477 from dbartol/dbartol/PrintIRLocalFlow
...
C++: Add ability to dump local dataflow info in IR dumps
2020-10-15 17:38:16 +02:00
