May I ask if it is possible to analyze a running Java program using JBSE? For instance, consider a scenario where the target program requiring symbolic execution is an already launched Java program using java -jar.
If it is indeed possible, could you kindly guide me on how to execute it? Currently, I have successfully conducted some tests on Java classes and JAR files. However, I have yet to run a symbolic execution example directly on a running Java program.
Thank you very much. I look forward to your reply.
May I ask if it is possible to analyze a running Java program using JBSE? For instance, consider a scenario where the target program requiring symbolic execution is an already launched Java program using java -jar.
If it is indeed possible, could you kindly guide me on how to execute it? Currently, I have successfully conducted some tests on Java classes and JAR files. However, I have yet to run a symbolic execution example directly on a running Java program.
Thank you very much. I look forward to your reply.