Slide 13
Slide 13 text
13
Kex
● Java bytecode static analysis platform
● Supports few modes and allows writing new ones
● Uses special internal representation KFG
● Transforms source program to logical predicates
● Feed logical predicates to the SMT-solver
A. Abdullin, M. Akhin and M. Belyaev, "Kex at the 2021 SBST Tool Competition," 2021 IEEE/ACM 14th International Workshop
on Search-Based Software Testing (SBST), 2021, pp. 32-33, doi: 10.1109/SBST52555.2021.00014