<div dir="ltr"><span style="font-family:'Times New Roman',serif;font-size:12pt">Dear</span><div><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif"><br>
</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">Basically I am working on untyped language which
considered as an intermediate language and it is (Wide Spectrum
Language)</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">Can we use <b>static program analysis</b> tool (include transformation techniques such as slicing)
of </span><span style="font-family:'Times New Roman',serif;font-size:16px"> untyped programming intermediate language</span><span style="font-size:12pt;font-family:'Times New Roman',serif"> to identify </span><span style="font-family:'Times New Roman',serif;font-size:16px;line-height:18.399999618530273px">the vulnerabilities on source code</span><span style="font-family:'Times New Roman',serif;font-size:12pt"> for example buffer overflow or any other ?? and How??.</span></p>
<p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;line-height:115%;font-family:'Times New Roman',serif"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;line-height:115%;font-family:'Times New Roman',serif">Can we <b>combine</b> static analysis tool with </span><span style="font-family:'Times New Roman',serif;font-size:16px">untyped programming intermediate language</span><span style="font-family:'Times New Roman',serif;font-size:12pt;line-height:115%"> to help identifying the vulnerabilities? and to be in a one platform. for example combining Racket parsers with </span><span style="font-family:'Times New Roman',serif;font-size:16px">untyped programming intermediate language?</span></p>
<p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-family:'Times New Roman',serif;font-size:12pt;line-height:115%"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-family:'Times New Roman',serif;font-size:12pt;line-height:115%">for example buffer overflow in </span><span style="font-family:'Times New Roman',serif;font-size:16px">untyped programming intermediate language the </span><span style="font-family:'Times New Roman',serif;font-size:12pt;line-height:115%">string is allocated on the heap and can be any
length.</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-family:'Times New Roman',serif;font-size:12pt;line-height:115%"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt">
<span style="font-family:'Times New Roman',serif;font-size:12pt">This is simple example of the </span><span style="font-family:'Times New Roman',serif;font-size:16px">untyped programming intermediate language</span><span style="font-family:'Times New Roman',serif;font-size:12pt"> code format</span></p>
<p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif"> </span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">VAR < x := 0, y := 0 >:</span></p>
<p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">  DO DO IF x = 0 THEN PRINT("Hello
World")</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">        ELSIF x > (2 + x) -
1</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">             
 THEN PRINT("Goodby cruel world")</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">         ELSE EXIT(2) FI;</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt">
<span style="font-size:12pt;font-family:'Times New Roman',serif">             
 x := x + 1 </span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">   OD OD </span></p><p class="MsoNormal" style="margin-bottom:0.0001pt">


















<span style="font-family:'Times New Roman',serif;font-size:12pt">ENDVAR</span><span style="font-size:12pt;font-family:'Times New Roman',serif"> </span></p><p class="MsoNormal" style="margin-bottom:0.0001pt">
<span style="font-size:12pt;font-family:'Times New Roman',serif"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif">Is it possible to </span><span style="font-family:'Times New Roman',serif;font-size:12pt">have binary code or .exe file then - > translate
to - > ASM (assembly code) then - > </span><span style="font-family:'Times New Roman',serif;font-size:16px">untyped programming intermediate language</span><span style="font-family:'Times New Roman',serif;font-size:12pt"> (to simplify the code) then - > IR (Intermediate Representation) - > Result (Report the vulnerabilities) ??</span></p>
<p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-family:'Times New Roman',serif;font-size:12pt"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-family:'Times New Roman',serif;font-size:12pt">Thanks</span></p>
<p class="MsoNormal" style="margin-bottom:0.0001pt"><br></p><p class="MsoNormal" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif"> </span></p><p class="" style><span style="font-size:12pt;line-height:115%;font-family:'Times New Roman',serif"><br>
</span></p><p class="" style><span style="font-size:12pt;line-height:115%;font-family:'Times New Roman',serif"><br></span></p><p class="" style><span style="font-family:'Times New Roman',serif;font-size:16px"><br>
</span></p><p class="" style><span style="font-family:'Times New Roman',serif;font-size:16px"><br></span></p><p class="" style><span style="font-family:'Times New Roman',serif;font-size:12pt;line-height:115%"><br>
</span></p><p class="" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif"><br></span></p><p class="" style="margin-bottom:0.0001pt"><span style="font-size:12pt;font-family:'Times New Roman',serif"><br>
</span></p></div></div>