Pietro Braione

Pietro Braione has asked 8 questions and find answers to 2 problems.

Stats

About

I am a researcher working on automated software testing, analysis and verification. One of the projects I am currently working is JBSE, a JVM that can do symbolic execution of Java bytecode.

Pietro Braione questions

Julia: How do I create a macro that returns its argument?
How do I avoid the "local variable may not have been initialized" Java compilation error? (yes, seriously!)
What are the optimal green cuts for successor arithmetics sum?

Pietro Braione answers

How to check whether a class is initialized?