search

VSharp-team / VSharp

Symbolic execution engine for .NET Core
Apache License 2.0
50 stars 32 forks source link

ShortestDistanceWeighter tries to get CFG for external method that leads to error #222

Open gsvgit opened 1 year ago

gsvgit commented 1 year ago

Execution of this test leads to the following error:

Getting CFG of method System.Int32 System.String.get_Length(this) without body (extern or abstract)
   at VSharp.Test.TestSvmAttribute.TestSvmCommand.<>c.<Explore>b__12_1(FSharpOption`1 _, Exception e) in /home/gsv/Projects/VSharp/VSharp.Test/IntegrationTests.cs:line 257
   at <StartupCode$VSharp-SILI>.$SILI.Interpret@394.Invoke(FSharpOption`1 method, Exception e)
   at VSharp.Interpreter.IL.SILI.Interpret(IEnumerable`1 isolated, IEnumerable`1 entryPoints, Action`1 onFinished, Action`1 onException, Action`1 onIIE, Action`2 onInternalFail) in /home/gsv/Projects/VSharp/VSharp.SILI/SILI.fs:line 425
   at VSharp.Test.TestSvmAttribute.TestSvmCommand.Explore(TestExecutionContext context) in /home/gsv/Projects/VSharp/VSharp.Test/IntegrationTests.cs:line 257

Debugging shows that it is caused by attempt to get CFG for external method.