<div dir="ltr"><div><div class="gmail_signature"><div dir="ltr"><div dir="ltr"><div style="font-size:12.8000001907349px"><span style="font-size:small">Dear Prof John Criswell,</span><br></div></div></div></div></div><div class="gmail_quote"><div dir="ltr"><div> Thank you for you mail.</div><div><br></div><div>The Changes i have done for SAFECode 3.2 V in Cygwin not for Linux after changing these files am able to get the Partial output in Cygwin.</div><div><br></div><div>Yes Prof SAFECode on Windows is not reporting the errors as in Linux.</div><span class=""><div><br></div><div><font color="#ff0000"><span style="font-size:12.8px">For example, the getProgramCounter() function in safecode/runtime/DebugRuntime/</span><span style="font-size:12.8px">PoolAllocatorBitMask.cpp has #include guards that generate code that should work on Mac OS X and Linux. However, it will likely return a zero value on Windows as it does not have code to support Windows. You will need to look up how to get the program counter from a signal handler on Windows and use that to enhance the getProgramCounter() function so that it works on Windows</span></font><br></div><div> </div></span><div>ANS: I have already changed the getProgramCounter() function value in the Windows OS after that also am not able to make that to be Worked. I will be Working on SAFECode 3.2 V could you please kindly Help me out that how i can make this to be done that SAFECode 3.2 V should Work in Windows OS </div><div><br></div><div>How to enhance this problem to Work in Windows OS? i was not able to do this prof please help me to find a solution for this. So am sharing the total Work Area of SAFECode 3.2 V Cygwin (Windows) please you can have a look in the files and find our solution Prof.</div><div><br></div><div><br><div class="gmail_chip gmail_drive_chip" style="width:396px;min-height:18px;max-height:18px;background-color:#f5f5f5;padding:5px;color:#222;font-family:arial;font-style:normal;font-weight:bold;font-size:13px;border:1px solid #ddd;line-height:1"><a href="https://drive.google.com/file/d/0BzRogh5FAOu9YnFqWmxjUUEtOEk/view?usp=drive_web" style="display:inline-block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;text-decoration:none;padding:1px 0px;border:none;width:100%" target="_blank"><img style="vertical-align:bottom;border:none" src="https://ssl.gstatic.com/docs/doclist/images/icon_9_archive_list.png"> <span dir="ltr" style="color:#15c;text-decoration:none;vertical-align:bottom">Work.zip</span></a></div><br></div><div><br></div><div class="gmail_extra"><br clear="all"><div><div><div dir="ltr"><div><div dir="ltr"><span class=""><div style="font-size:12.8000001907349px">Thank You,</div><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px">Kind Regards,</div><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px">Nikhil Reddy Kothapally </div><div style="font-size:12.8000001907349px"><br></div></span><div><div class="h5"><div style="font-size:12.8000001907349px"><span style="font-size:small">On Sat, Sep 26, 2015 at 9:40 PM, John Criswell </span><span dir="ltr" style="font-size:small"><<a href="mailto:jtcriswel@gmail.com" target="_blank">jtcriswel@gmail.com</a>></span><span style="font-size:small"> wrote:</span><br></div></div></div></div></div></div></div></div><div><div class="h5"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000"><span>
<div>On 9/25/15 5:54 AM, Nikhil Reddy
Kothapally wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div class="gmail_quote">
<div dir="ltr">Dear Prof John Criswell,
<div> Here i will give you
the brief explanation what i have done till date
<div><br>
</div>
<div>Firstly i have used VMPlayer in my Windows latest
and then i have installed Debian Mint </div>
<div><br>
</div>
<div>Then i have downloaded the SAFECode 3.2 V sources
from the (<u><a href="http://safecode.cs.illinois.edu/downloads.html" target="_blank">http://safecode.cs.illinois.edu/downloads.html</a></u>)
and then i have started the building the SAFECode
compiler so i have made some changes in the source files
to compile those are </div>
<div><br>
</div>
<div>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>LLVM_SRC\projects\safecode\tools\LTO\Makefile </span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>i have added to the code the
library dependencies </span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal">$(PROJ_OBJ_ROOT)/$(BuildMode)/bin/cygLLVM-3.2svn.dll:
$(LLVM_OBJ_ROOT)/$(BuildMode)/bin/cygLLVM-3.2svn.dll<br>
$(VERB) echo "Creating symlink to $@"<br>
$(VERB) ln -fs $< $@</p>
<table>
</table>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal"><span>LLVM_SRC\projects\safecode\runtime\SoftBoundRuntime\softboundcets-wrappers.c</span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>i have not used //#include
<ttyent.h> </span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>LLVM_SRC\projects\safecode\runtime\SoftBoundRuntime\softboundcets.h</span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span> i have used only #define
_WEAK _INLINE</span></p>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal"><span>LLVM_SRC\projects\safecode\runtime\SoftBoundRuntime\softboundcets.c</span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>i have not used the
//#include <execinfo.h></span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>LLVM_SRC\projects\safecode\runtime\DebugRuntime\PoolAllocatorBitMask.cpp</span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>i have included as APPLE
instead of linux </span><br>
</p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>LLVM_SRC\projects\safecode\runtime\BBRuntime\BaggyBoundsCheck.cpp</span></p>
<p class="MsoNormal"><span><br>
</span></p>
<p class="MsoNormal"><span>i have included as APPLE
instead of linux </span><span><br>
</span></p>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<br></span>
Just to make sure I understand, did you make these changes to
compile SAFECode 3.2 on Linux or to compile it on Cygwin? You
shouldn't have to make changes to get it to compile on Linux.<span><br>
<br>
<blockquote type="cite">
<div dir="ltr">
<div class="gmail_quote">
<div dir="ltr">
<div>
<div>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal">Now Then i have used the command
sequences what i have sent you yesterday and then i
have got the compiler build and also used the Test
code which is present in (<u><a href="http://safecode.cs.illinois.edu/docs/UsersGuide.html" target="_blank">http://safecode.cs.illinois.edu/docs/UsersGuide.html</a> </u> sample
debugging code and then i have got the Error Report as
it is in the page and i will also give the screen
short of that in the attachments and i will also send
you the command line which i have used to compile the
test code </p>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal">Now with this work done then i have
installed the Cygwin Tool in my Windows machine with
the Required packages in it and then used the same
Sources the SAFECode 3.2 V which i have used to do in
Debian with Changes then i have got the Error Report
but it is Partially done you can see in the
attachments. Since for this reason only i have asked
for the Latest Version of SAFECode which will have the
( SAFECode/tools/Clang is integrated and included )
so i may be able to build the compiler Fully and get
the Full error report as it is generated in Debian.</p>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<br></span>
If I understand correctly, the problem that you have is that
SAFECode on Windows is not reporting as many details about errors as
SAFECode on Linux. Is that correct?<br>
<br>
If so, then upgrading SAFECode to LLVM 3.7 will probably not help
you. SAFECode uses debugging metadata in programs to generate
source file and line information in its error reports. If you don't
compile programs with -g, then you won't get the source file and
source line information.<br>
<br>
Additionally, some of the information in the SAFECode error reports
are determined in a platform-specific manner. Some of the
information that you see on Linux and Mac OS X will be missing in
reports on Windows because the SAFECode run-time library doesn't
know how to find this information on Windows.<br>
<br>
For example, the getProgramCounter() function in
safecode/runtime/DebugRuntime/PoolAllocatorBitMask.cpp has #include
guards that generate code that should work on Mac OS X and Linux.
However, it will likely return a zero value on Windows as it does
not have code to support Windows. You will need to look up how to
get the program counter from a signal handler on Windows and use
that to enhance the getProgramCounter() function so that it works on
Windows.<br>
<br>
You only need to upgrade to LLVM 3.7 *if* the program you want to
compile does not compile on Windows due to a bug in the original
Clang compiler. If the program compiles with Clang/LLVM 3.2, then
SAFECode 3.2 will work for you; you just need to enhance its error
reporting facilities to work on Windows.<br>
<br>
Regards,<br>
<br>
John Criswell<span><font color="#888888"><br>
<br>
<pre cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a href="http://www.cs.rochester.edu/u/criswell" target="_blank">http://www.cs.rochester.edu/u/criswell</a></pre>
</font></span></div>
</blockquote></div><br></div></div></div></div>
</div><br></div>