Siegfried Pammer
f0f95efa05
Fix StateRangeAnalysis to handle changes in yield return codegen in Roslyn 4.13.
2025-03-08 19:55:19 +01:00
ElektroKill
0cbd9a4faa
Add Visual Basic symbolic execution option which ignores overflow checks
2023-04-01 13:43:23 +02:00
Siegfried Pammer
4c1931d5c6
Fix NRT warning in GetBlockStateSetMappingForLeave.
2022-04-10 23:03:47 +02:00
Siegfried Pammer
a4e2bd7f8f
Handle leave instructions in state-range analysis.
2022-04-10 22:18:44 +02:00
Siegfried Pammer
84c15bb24f
Fix #2652 : AwaitInFinallyTransform: ILAst must form a tree
2022-04-10 21:06:15 +02:00
dotnet format
0d9f871a4f
#2128 : Reformat the whole code base.
2020-08-28 01:05:38 +02:00
Daniel Grunwald
8a68a94d35
Simplify use of SwitchInstruction in ILAst
...
* the default case is now handled as a normal case
* when dealing with basic blocks, SwitchInstruction will be the last instruction in the block
* introduced ILAst instruction for 'goto case'
2017-10-07 00:13:14 +02:00
Daniel Grunwald
ec610a4422
Clean up mono yield-return decompilation.
2017-09-16 18:26:35 +02:00
Daniel Grunwald
d550390f4d
Initial support for yield-return decompilation in assemblies compiled with the mono compiler.
2017-09-16 14:56:54 +02:00
Daniel Grunwald
3ff3b34be9
[async]: control flow reconstruction: fixes for legacy csc
2017-09-03 14:51:13 +02:00
Daniel Grunwald
40212685b6
[async]: control flow reconstruction
2017-09-03 14:17:49 +02:00
Daniel Grunwald
2207ab40f7
Check the CancellationToken a bit more frequently.
2017-08-22 22:24:16 +02:00
Daniel Grunwald
173c8d353f
Support 'state + c1 < c2' in state-range-analysis.
2017-08-20 13:09:12 +02:00
Daniel Grunwald
7277de6c08
More fixes for yield return decompilation.
2017-08-20 01:00:53 +02:00
Daniel Grunwald
5621101436
Reconstruct try-finally blocks in yield return decompiler
2016-12-28 19:27:56 +01:00
Daniel Grunwald
fe84ea9730
WIP: yield return decompiler
2016-12-20 21:55:28 +01:00
Siegfried Pammer