Description
Symbolic analysis of reflection calls is very difficult but sometimes it is required. For example, newInstance is one the most frequently used of them. The best solution to support its analysis is manual symbolic processing.
Expected behavior
The symbolic engine can analyze newInstance calls.
Environment
Not applicable.
Potential alternatives
Wrapper for java.lang.Class class.
Context
No additional context.
Description
Symbolic analysis of reflection calls is very difficult but sometimes it is required. For example,
newInstanceis one the most frequently used of them. The best solution to support its analysis is manual symbolic processing.Expected behavior
The symbolic engine can analyze
newInstancecalls.Environment
Not applicable.
Potential alternatives
Wrapper for
java.lang.Classclass.Context
No additional context.