Symbolic support for "newInstance" reflection call

[Damtev]

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.