Research area: Adaptive Concolic Execution in Vulnerability Detection based on vulnerability signatures. Grade Msc