<div dir="ltr">Hello<br><br><p dir="ltr">The untyped intermediate language that I am working on is 
kind of specification language and it is provide the AST and 
procedure/function graphics and also provide transformation techniques 
for simplifying the code but I am trying to find a pattern or technique 
that can formalise the potential vulnerabilities on the source code.</p>

<p dir="ltr">Is there some way that I can do with "Prolog" or "Pattern Matching IMHO" or "Pseudo-code" or "AST" or any other techniques</p>
<p dir="ltr">As far as I know "Pseudo-code" is for making algorithms and flowchart but how to analyse in term of vulnerabilities (I mean any vulnerabilities)<br></p>Thanks<br></div>