I am an undergraduate CS student and currently reading on software security, particularly on static analysis of programs. I am particularly interested in understanding Symbolic Execution - an implementation technique under static analysis.
So far, I am unable to understand some of the research papers on the same, because of the lack of deep understanding of Symbolic Execution and its applications and uses.
There aren't many resources on the web, and the ones that are, assume a considerable formal knowledge on this domain from the reader beforehand.
I would appreciate if somebody can explain in depth the concept of Symbolic Execution and how it can be possibly used in program analysis - identifying bugs/vulnerabilities in softwares. Any links to some helpful resources on the same that would enable a security enthusiast to get started would be highly appreciated.