On Wednesday, November 26, 2014, Sashank Dara <krishna.sash...@gmail.com> wrote: > > Can we model run time behavior of a program in Computation theory at all > ? >
Given the limitations of the halting problem, the possibilities for producing real analysis of runtime behavior for arbitrary code are limited. This is actually one of the key observations of langsec. The more complex you let the language get, the harder and harder it is to distinguish malicious input from non-malicious input. ~djc
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
