Comment by byproxy

Any resources you'd recommend for learning about reasoning about the security of code?