[feat] New assembly resolving pipeline + some nuget resolving heuristics

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Open mxprshn opened 2 years ago

mxprshn commented 2 years ago

Introduce IAssemblyResolver interface for assembly name -> assembly path searchers; wrap existing Microsoft API searchers with it
Add some IAssemblyResolver with heuristics for .NET Framework dll's from NuGet packages resolving (for example, JetBrains ReSharper API)
Don't fail when some types cannot be resolved, work with those which can