EFM-SYMBEX : Util
Source code structure
Interfaces
Classes
Factories