KT CodeHawk Technology
Our abstract interpretation engine is named CodeHawk. It is the core technology inside each of our analyzers.
The CodeHawk engine applies abstract interpretation techniques by implementing a number of iterators and abstract analysis domains. The analysis domains include
- strided intervals
- linear equalities
- symbolic sets
- value sets, and
To provide isolation from the input language CodeHawk has its own internal form. This design enables CodeHawk to accommodate a number of different front-ends from different input languages. We currently offer front-ends for C, Java byte code, and X86PE binary.