> 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.