Closed
Description
Description
Problems visualizing for the sandboxed Socket.connect
:
first line of user's class is addressed instead of unpermitted method call.
To Reproduce
- Install one of the latest plugin build from main in IDEA
- Run the 'UTBotJava' project in IntelliJ Idea
- Set defaults in Settings->Tools->UnitTestBot , delete any permissions if they were manually added in ~/.utbot/
- Turn on Problems tool windows
- Use plugin to generate tests for the following method:
public int connect(Socket socket) throws IOException {
socket.connect(new InetSocketAddress("0.0.0.0", 22));
return 0;
}
- Select Unexpected exception on Problems tool window after generation.
Expected behavior
Exception should be addressed to the unpermitted method call - socket.connect() in this example.
Actual behavior
Exception is addressed to the first line of the source class.
Visual proofs (screenshots, logs, images)
Environment
Windows 10 Pro
IntelliJ IDEA 2022.2.3
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Done