Support of 'Delegate.Combine' and 'Delegate.Remove' - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Support of 'Delegate.Combine' and 'Delegate.Remove' #277

Closed MchKosticyn closed 1 year ago

MchKosticyn commented 1 year ago

fixed efficiency of getting 'CallVirt' candidates
supported DynamicMethod for analysis
fixed rendering 'by ref' types
supported 'Delegate.Combine' and 'Delegate.Remove' for delegates