> few startups who are doing automated dynamic analysis and working on symbolic execution Can u mention some of the new technical directions? I used to work in

> few startups who are doing automated dynamic analysis and working on symbolic execution Can u mention some of the new technical directions? I used to work in security, did windows AV, kernel layer, code analysis, etc but i have been out of this game for a couple of years Today I am more interested in compiler techniques and code synthesis.