GitHub - oct0xor/dnDeflow: Control flow deobfuscation using Z3 and ILAst

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
CodeRemover		CodeRemover
Properties		Properties
Solver		Solver
de4dot/blocks		de4dot/blocks
z3		z3
.gitattributes		.gitattributes
.gitignore		.gitignore
AppMenuConstants.cs		AppMenuConstants.cs
AppMenuHandler.cs		AppMenuHandler.cs
AppService.cs		AppService.cs
DeFlow.csproj		DeFlow.csproj
DeFlow.csproj.user		DeFlow.csproj.user
DeadInstructions.cs		DeadInstructions.cs
Highlight.cs		Highlight.cs
ManualMode.cs		ManualMode.cs
ManualModeControl.xaml		ManualModeControl.xaml
ManualModeControl.xaml.cs		ManualModeControl.xaml.cs
ManualModeSolveBlock.cs		ManualModeSolveBlock.cs
MethodDeobfuscator.cs		MethodDeobfuscator.cs
OutputLog.cs		OutputLog.cs
Proxy.cs		Proxy.cs
README.md		README.md
RichTextBoxTextColorOutput.cs		RichTextBoxTextColorOutput.cs
SetVariable.cs		SetVariable.cs
SetVariableControl.xaml		SetVariableControl.xaml
SetVariableControl.xaml.cs		SetVariableControl.xaml.cs
SetVariableControlNew.xaml		SetVariableControlNew.xaml
SetVariableControlNew.xaml.cs		SetVariableControlNew.xaml.cs
Settings.cs		Settings.cs
SettingsControl.xaml		SettingsControl.xaml
SettingsControl.xaml.cs		SettingsControl.xaml.cs
Solvers.cs		Solvers.cs
TheExtension.cs		TheExtension.cs
project.json		project.json
project.lock.json		project.lock.json