Skip to content

Latest commit

 

History

History
executable file
·
64 lines (56 loc) · 1.8 KB

README.md

File metadata and controls

executable file
·
64 lines (56 loc) · 1.8 KB
Raw

##DIRECTORY STRUCTURE

  • Reports
    • Report.pdf
    • Presentation.pdf
  • Documents
    • gdfa-v1.2-gcc-4.3.0.patch : gdfa patch for gcc 4.3.0
  • Test
    • Test Directories containing
      • C code to be analysed
      • Golden outputs for comparison. Examples: gold_test.c.022t.gdfa_puv and gold_test_.c.021t.gdfa_fv_
      • Gen or Kill Impact chains in *.ps format. Example: gen_impact_chain.dot, kill_impact_chain.dot
  • SourceCodeInfo :
    • listOfFilesModified.txt : List of files Modified
    • CodeDiff.txt : This file can be patched to gcc 4.3.0 source code
    • Source Files
      • gimple-pfbvdfa-driver.c
      • gimple-pfbvdfa-specs.c
      • gimple-pfbvdfa-support.c
      • gimple-pfbvdfa.h
      • passes.c
      • tree-pass.h

##HOW TO BUILD

mkdir gdfa
cd gdfa
Download gcc-4.3.0-tar.gz from https://gcc.gnu.org/mirrors.html  in here.
Copy gdfa-v1.2-gcc-4.3.0.patch from Documents in here. This path can be downloaded from http://www.cse.iitb.ac.in/grc/index.php?page=gdfa.
tar -xvf gcc-4.3.0-tar.gz
mkdir gcc-4.3.0.obj gcc-4.3.0.install
patch -p0   < gdfa-v1.2-gcc-4.3.0.patch
cd gcc-4.3.0.obj
../gcc-4.3.0/configure --enable-languages=c --prefix=<path to gcc-4.3.0.install>
make all-gcc TARGET-gcc=cc1 BOOT_CFLAGS='-O0 -g3' -j 2
make install

##HOW TO RUN The following commands generate test_1.c.021t.gdfa_fv (faint variable analysis) and test_1.c.021t.gdfa_puv (possibly uninitialized variable analysis)

cd Test/test_1/
cc1 -fgdfa -fdump-tree-all test_1.c

##TESTING AUTOMATION

_Run and test the testsuite_
cd Test
make       _Compile all the C source files and dumps the analysis results in respective directories_
make test  _Compare the analysis dumps with the golden output provided_
make clean _Remove the anaylsis dumps_

OR
_Run and test unit cases_
cd Test_3
make 
make test
make clean