DeepseaPlatform / coastal

Concolic analysis tool for Java
https://deepseaplatform.github.io/coastal/
Apache License 2.0
21 stars 9 forks source link

Security violation #11

Closed jacogeld closed 5 years ago

jacogeld commented 5 years ago

If a class is not public, COASTAL cannot analyze it. It can probably be fixed by setting the security manager appropriately.

jacogeld commented 5 years ago

This was not fixed by the commit. Wrong issue number.

jacogeld commented 5 years ago

Fixed by c23d3dad9460996624d8b422e0a5e842d06f1317