Usecases for Symbolic Analysis

Symbolic analysis is a hybrid methodology, which contains the features of static analysis with its simulating capabilities, the execution facilities, which are normally done by dynamic analysis. However, symbolic analysis often suffers from missing information. It cannot have access to databases, libraries, proxies, servers etc.

Therefore, the main use of the methodology is to connect symbols with each other and by means of these links to explain relations between symbols.

Its main uses are:

Familiarization: Getting a preview about methods and classes that work with each other.