[langsec-discuss] Studying malware in terms of LangSec

D J Capelis mail at capelis.dj
Wed Nov 26 16:46:04 UTC 2014

On Wednesday, November 26, 2014, Sashank Dara <krishna.sashank at gmail.com>
> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20141126/1b84c9e9/attachment.html>

More information about the langsec-discuss mailing list