Y
Hacker News
new
|
ask
|
show
|
jobs
by
saagarjha
2244 days ago
Terms which you might find useful to search for are "dataflow analysis", "abstract interpretation", and "taint checking". A basic background in compiler optimization would generally be helpful.