<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi,<div class=""><br class=""></div><div class="">it looks like you do not set your class path correctly. The class path (that is passed to Soot) tase to be configured the same way the java class path would be configured.</div><div class=""><br class=""></div><div class="">Let’s assume you compile your Triangle class to ./bin/TargetClass/Triangle.class. The correct command line would be java -cp soot.jar soot.Main -cp bin;rt.jar TargetClass.Triangle. You have to use the same class path you would use if there would be a main method in Triangle and you want to run that method. </div><div class=""><div><br class=""></div><div>Regards, Bernhard</div><div><br class=""><blockquote type="cite" class=""><div class="">On 22 Aug 2018, at 15:57, 周 筱川 <<a href="mailto:cobra@live.com" class="">cobra@live.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;" class="">Hi there ,<br class=""></div><div style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;" class=""> I figured out the previous problem . as Bernhard said ,I should compile the .java files to .class files first while working with JDK8 . It is also indicated in a official tutorial(<span class="Apple-converted-space"> </span><a href="https://github.com/Sable/soot/wiki/Introduction:-Soot-as-a-command-line-tool" id="LPNoLP484091" class="">https://github.com/Sable/soot/wiki/Introduction:-Soot-as-a-command-line-tool )</a><br class=""><br class=""><blockquote style="border-color: rgb(200, 200, 200); border-left-width: 3px; border-left-style: solid; padding-left: 1ex; margin-left: 0.8ex; color: rgb(102, 102, 102);" class=""><div style="margin-top: 0px; margin-bottom: 0px;" class="">Now, if you're working with JDK8, these Java files need to be compiled before they can be passed on as command-line parameters</div></blockquote><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class="">but there's another problem when handling a class with package</div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><b class="">Java code</b></div><blockquote style="border-color: rgb(200, 200, 200); border-left-width: 3px; border-left-style: solid; padding-left: 1ex; margin-left: 0.8ex; color: rgb(102, 102, 102);" class=""><div style="margin-top: 0px; margin-bottom: 0px;" class=""><span class="">package TriangleClass;<br class=""></span><div class=""><br class=""></div><div class="">public class Triangle {<br class=""></div><div class=""> public String triangle(int a, int b, int c){<br class=""></div><div class=""><br class=""></div><div class=""> if(a > 0 && b > 0 && c >0){<br class=""></div><div class=""> if(a + b >c)<br class=""></div><div class=""> {<br class=""></div><div class=""> if(a == b || b ==c || a ==c)<br class=""></div><div class=""> {<br class=""></div><div class=""> if(a == b && b == c)<br class=""></div><div class=""> {<br class=""></div><div class=""> return "equilateral";<br class=""></div><div class=""> }<br class=""></div><div class=""> return "isosceles";<br class=""></div><div class=""> }<br class=""></div><div class=""> else{<br class=""></div><div class=""> return "scalene";<br class=""></div><div class=""> }<br class=""></div><div class=""> }<br class=""></div><div class=""> else{<br class=""></div><div class=""> return "Not Triangle";<br class=""></div><div class=""> }<br class=""></div><div class=""> }<br class=""></div><div class=""> else{<br class=""></div><div class=""> return "Not Triangle";<br class=""></div><div class=""> }<br class=""></div><div class=""> }<br class=""></div><div class=""><br class=""></div><div class=""> public int a;<br class=""></div><div class=""> public int b;<br class=""></div><div class=""> public int c;<br class=""></div><span class="">}</span><br class=""></div></blockquote><div style="margin-top: 0px; margin-bottom: 0px;" class="">I compile it into a .class file ,then tried two different commands as follows:</div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><span class="">D:\flowproject\soot\test><b class="">java -cp soot-trunk.jar soot.Main -cp .;rt.jar Triangle</b><br class=""></span><div class="">Soot started on Wed Aug 22 21:37:47 CST 2018<br class=""></div><div class="">java.lang.RuntimeException:<b class=""><span class="Apple-converted-space"> </span>Class names not equal! TriangleClass.Triangle != Triangle</b><br class=""></div><div class=""> at soot.asm.SootClassBuilder.visit(SootClassBuilder.java:99)<br class=""></div><div class=""> at org.objectweb.asm.ClassReader.accept(ClassReader.java:637)<br class=""></div><div class=""> at org.objectweb.asm.ClassReader.accept(ClassReader.java:521)<br class=""></div><div class=""> at soot.asm.AsmClassSource.resolve(AsmClassSource.java:62)<br class=""></div><div class=""> at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:240)<br class=""></div><div class=""> at soot.SootResolver.bringToHierarchy(SootResolver.java:212)<br class=""></div><div class=""> at soot.SootResolver.bringToSignatures(SootResolver.java:273)<br class=""></div><div class=""> at soot.SootResolver.processResolveWorklist(SootResolver.java:174)<br class=""></div><div class=""> at soot.SootResolver.resolveClass(SootResolver.java:137)<br class=""></div><div class=""> at soot.Scene.loadClass(Scene.java:861)<br class=""></div><div class=""> at soot.Scene.loadClassAndSupport(Scene.java:847)<br class=""></div><div class=""> at soot.Scene.loadNecessaryClass(Scene.java:1577)<br class=""></div><div class=""> at soot.Scene.loadNecessaryClasses(Scene.java:1590)<br class=""></div><div class=""> at soot.Main.run(Main.java:248)<br class=""></div><span class=""> at soot.Main.main(Main.java:144)</span><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><span class="">D:\flowproject\soot\test><b class="">java -cp soot-trunk.jar soot.Main -d ./xxx -cp .;rt.jar TriangleClass.Triangle</b><br class=""></span><div class="">Soot started on Wed Aug 22 21:38:04 CST 2018<br class=""></div><div class="">soot.SootResolver$SootClassNotFoundException:<b class=""><span class="Apple-converted-space"> </span>couldn't find class: TriangleClass.Triangle<span class="Apple-converted-space"> </span></b>(is your soot-class-path set properly?)<br class=""></div><div class=""> at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:232)<br class=""></div><div class=""> at soot.SootResolver.bringToHierarchy(SootResolver.java:212)<br class=""></div><div class=""> at soot.SootResolver.bringToSignatures(SootResolver.java:273)<br class=""></div><div class=""> at soot.SootResolver.processResolveWorklist(SootResolver.java:174)<br class=""></div><div class=""> at soot.SootResolver.resolveClass(SootResolver.java:137)<br class=""></div><div class=""> at soot.Scene.loadClass(Scene.java:861)<br class=""></div><div class=""> at soot.Scene.loadClassAndSupport(Scene.java:847)<br class=""></div><div class=""> at soot.Scene.loadNecessaryClass(Scene.java:1577)<br class=""></div><div class=""> at soot.Scene.loadNecessaryClasses(Scene.java:1590)<br class=""></div><div class=""> at soot.Main.run(Main.java:248)<br class=""></div><div class=""> at soot.Main.main(Main.java:144)<br class=""></div><span class=""></span><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class="">when I handle a simple class without package , it can be done successfully.</div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><b class="">Example<span class="Apple-converted-space"> </span></b><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><blockquote style="border-color: rgb(200, 200, 200); border-left-width: 3px; border-left-style: solid; padding-left: 1ex; margin-left: 0.8ex; color: rgb(102, 102, 102);" class=""><div style="margin-top: 0px; margin-bottom: 0px;" class=""><span class=""> public class GetGreeting <br class=""></span><div class=""> { <br class=""></div><div class=""> public static void main(String [] args) <br class=""></div><div class=""> { <br class=""></div><div class=""> System.out.println("Hello world"); <br class=""></div><div class=""> <span class="Apple-converted-space"> </span><br class=""></div><div class=""> } <br class=""></div><span class=""> } </span><br class=""></div></blockquote><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class="">I've searched anything about the error messages a long time online , still without a clue .</div><div style="margin-top: 0px; margin-bottom: 0px;" class="">please help , thank you!<br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><br class=""></div><hr tabindex="-1" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline-block; width: 702.65625px;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""></span><div id="divRplyFwdMsg" dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><font face="Calibri, sans-serif" style="font-size: 11pt;" class=""><b class="">发件人:</b><span class="Apple-converted-space"> </span>周 筱川 <<a href="mailto:cobra@live.com" class="">cobra@live.com</a>><br class=""><b class="">发送时间:</b><span class="Apple-converted-space"> </span>2018年8月20日 6:25<br class=""><b class="">收件人:</b><span class="Apple-converted-space"> </span>Bernhard Berger<br class=""><b class="">抄送:</b><span class="Apple-converted-space"> </span><a href="mailto:soot-list@CS.McGill.CA" class="">soot-list@CS.McGill.CA</a><br class=""><b class="">主题:</b><span class="Apple-converted-space"> </span>答复: [Soot-list] soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)</font><div class=""> </div></div><div dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;" class="">Thank you Bernhard , i'll try again and give a feedback later.<br class=""></div><hr tabindex="-1" style="display: inline-block; width: 702.65625px;" class=""><div id="x_divRplyFwdMsg" dir="ltr" class=""><font face="Calibri, sans-serif" style="font-size: 11pt;" class=""><b class="">发件人:</b><span class="Apple-converted-space"> </span>Bernhard Berger <<a href="mailto:berber@tzi.de" class="">berber@tzi.de</a>><br class=""><b class="">发送时间:</b><span class="Apple-converted-space"> </span>2018年8月20日 6:19<br class=""><b class="">收件人:</b><span class="Apple-converted-space"> </span>周 筱川<br class=""><b class="">抄送:</b><span class="Apple-converted-space"> </span><a href="mailto:soot-list@CS.McGill.CA" class="">soot-list@CS.McGill.CA</a><br class=""><b class="">主题:</b><span class="Apple-converted-space"> </span>Re: [Soot-list] soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)</font><div class=""> </div></div><div class="" style="word-wrap: break-word; line-break: after-white-space;">Hi,<div class=""><br class=""></div><div class="">please try to compile your source code using javac and analyze the bytecode instead of the source. As far as I know, the bytecode front end is better supported than the source front end.</div><div class=""><br class=""></div><div class="">Regards, Bernhard<br class=""><div class=""><div class=""><br class=""><blockquote type="cite" class=""><div class="">On 20 Aug 2018, at 05:38, 周 筱川 <<a href="mailto:cobra@live.com" class="">cobra@live.com</a>> wrote:</div><br class="x_x_Apple-interchange-newline"><div class=""><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;">Hi there,</div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"> I'm a beginner for Soot, while trying to parse some java files , there's an error <span class=""></span>"soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)".<span class="x_x_Apple-converted-space"> </span><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"> Thank you very much for any advice!<br class=""><br class=""><b class=""><span class="" style="font-size: 14pt;">Detail as follows:</span></b><br class=""><br class=""><b class="">Tried commands:</b><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;">java -cp D:\flowproject\soot\sootclasses-trunk-jar-with-dependencies.jar -debug soot.Main -cp . CardQueryService</div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;">java -cp D:\flowproject\soot\sootclasses-trunk-jar-with-dependencies.jar soot.Main --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar CardQueryService<br class=""><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><b class="">Error Message<span class="x_x_Apple-converted-space"> </span></b><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><span class="">Soot started on Mon Aug 20 11:20:20 CST 2018<br class=""></span><div class="">soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)<br class=""></div><div class=""> at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:66)<br class=""></div><div class=""> at soot.JavaClassSource.resolve(JavaClassSource.java:57)<br class=""></div><div class=""> at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:240)<br class=""></div><div class=""> at soot.SootResolver.bringToHierarchy(SootResolver.java:212)<br class=""></div><div class=""> at soot.SootResolver.bringToSignatures(SootResolver.java:273)<br class=""></div><div class=""> at soot.SootResolver.processResolveWorklist(SootResolver.java:174)<br class=""></div><div class=""> at soot.SootResolver.resolveClass(SootResolver.java:137)<br class=""></div><div class=""> at soot.Scene.loadClass(Scene.java:861)<br class=""></div><div class=""> at soot.Scene.loadClassAndSupport(Scene.java:847)<br class=""></div><div class=""> at soot.Scene.loadNecessaryClass(Scene.java:1577)<br class=""></div><div class=""> at soot.Scene.loadNecessaryClasses(Scene.java:1590)<br class=""></div><div class=""> at soot.Main.run(Main.java:248)<br class=""></div><span class=""> at soot.Main.main(Main.java:144)</span></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><b class="">Java File Example:</b></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"> plz see the attachment<br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><br class=""></div><div class="" style="font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;"><br class=""></div><span id="x_x_cid:B0E2354A-8145-46B6-8EAD-D7F2A9DA9E1E@fritz.box" class=""><CardQueryService.java></span><span class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; float: none; display: inline !important;">_______________________________________________</span><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none;"><span class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; float: none; display: inline !important;">Soot-list mailing list</span><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none;"><a href="mailto:Soot-list@CS.McGill.CA" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;">Soot-list@CS.McGill.CA</a><br class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none;"><a href="https://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a></div></blockquote></div></div></div></div></div></div></blockquote></div><br class=""></div></body></html>