How is a static code analyzer developed?

M

me12014-11-20 19:36:34

Work organization

me1, 2014-11-20 19:36:34

Hello,
I'm interested in the approach, methodology, implementation of static code analysis. How it is parsed, how the flow of execution is allocated/understood. How to find gaps in logic. Tell me where to look and what theory and / or practice to read / apply?
Thank you :-) I am glad for any useful advice, link, recommendation.

Reply

Answer the question

In order to leave comments, you need to log in

1 answer(s)

W

werktone, 2014-11-20
@me1

www.viva64.com/en/a/0014
www.ethicalhack3r.co.uk/wp-content/uploads/2012/09...
www.cs.rice.edu/~keith/LACSI/msp02.pdf