f0f95efa05
Fix StateRangeAnalysis to handle changes in yield return codegen in Roslyn 4.13.
5 months ago
0cbd9a4faa
Add Visual Basic symbolic execution option which ignores overflow checks
2 years ago
4c1931d5c6
Fix NRT warning in GetBlockStateSetMappingForLeave.
3 years ago
a4e2bd7f8f
Handle leave instructions in state-range analysis.
3 years ago
84c15bb24f
Fix #2652 : AwaitInFinallyTransform: ILAst must form a tree
3 years ago
0d9f871a4f
#2128 : Reformat the whole code base.
5 years ago
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'
8 years ago
ec610a4422
Clean up mono yield-return decompilation.
8 years ago
d550390f4d
Initial support for yield-return decompilation in assemblies compiled with the mono compiler.
8 years ago
3ff3b34be9
[async]: control flow reconstruction: fixes for legacy csc
8 years ago
40212685b6
[async]: control flow reconstruction
8 years ago
2207ab40f7
Check the CancellationToken a bit more frequently.
8 years ago
173c8d353f
Support 'state + c1 < c2' in state-range-analysis.
8 years ago
7277de6c08
More fixes for yield return decompilation.
8 years ago
5621101436
Reconstruct try-finally blocks in yield return decompiler
9 years ago
fe84ea9730
WIP: yield return decompiler
9 years ago
Siegfried Pammer