On Dynamic Feature Location

• Concepts, the command line tool for calculating concept lattices, can be downloaded from http://www.st.cs.uni-sb.de/~lindig/src/concepts.html.
• The instrumented versions of the two compilers used:
  sdcc: sdcc-instr-src.tar.gz (originates from http://sdcc.sourceforge.net/), and
  cc1: cc1-instr-src.tar.gz (original available from http://gcc.gnu.org/).
• Some scripts:
  minus_inout.pl calculates the difference between two traces
  convert.sh / convback.sh convert the trace files to a format that can be read by concepts
  usedfuncs.sh / usedblocks.sh count the total number of functions / blocks in a context.
  run_cc1_test.sh / run_sdcc_test.sh / run_cc1_options.sh / run_sdcc_options.sh for running the different test cases with the two compilers and generating a context.
  run_concepts.sh runs concept analysis on the context.
  
• The test cases and feature description files (see below).

• Compile the two compilers by typing "make" in both base directories.
  
• Generate the inout files by running the compilers on empty input files:
  sdcc -c empty.c / gcc empty.c
  Rename trace.txt to sdcc_inout.trc / cc1_inout.trc.
  
• Select the desired test cases that should be combined and write their source file names into a file, e.g. named testset.
• Execute "run_cc1_test.sh testset" (or run_sdcc_test.sh, respectively). This will run the compiler on the selected test cases and produce the dynamic information about which basic blocks were executed.
  
• Start "run_concepts.sh". This will run concept analysis both on function and basic block level.

Loop Test Case	Source file	Feature file
necessary operations (basic)	loops_empty.c	loops_empty.fea
if (basic)	loops_if.c	loops_if.fea
while (basic)	loops_while.c	loops_while.fea
do-while (basic)	loops_dowhile.c	loops_dowhile.fea
for (basic)	loops_for.c	loops_for.fea
if-goto (basic)	loops_ifgoto.c	loops_ifgoto.fea
do-while + for nested	loops_dowhilefor.c	loops_dowhilefor.fea
do-while + for sequential	loops_dowhilefor_seq.c	loops_dowhilefor_seq.fea
if-goto + while nested	loops_whileifgoto.c	loops_whileifgoto.fea
all except for	loops_all.c	loops_all.fea

Expression Test Case	Source file	Feature file
variable assignment (initial)	expr_empty.c	expr_empty.fea
constant assignment (initial)	expr_const_int.c	expr_const_int.fea
+ (basic addition)	expr_add_int.c	expr_add_int.fea
- (basic substraction)	expr_sub_int.c	expr_sub_int.fea
* (basic multiplication)	expr_mult_int.c	expr_mult_int.fea
/ (basic division)	expr_div_int.c	expr_div_int.fea
+C (add constant)	expr_add_const_int.c	expr_add_const_int.fea
+0 (add const. zero)	expr_add_const0_int.c	expr_add_const0_int.fea
+1 (add const. one)	expr_add_const1_int.c	expr_add_const1_int.fea
all-in-one (combination)	expr_full_int.c	expr_full_int.fea
+* (simple combination)	expr_add_mult_int.c	expr_add_mult_int.fea
-/ (simple combination)	expr_sub_div_int.c	expr_sub_div_int.fea
++ (two additions)	expr_add2_int.c	expr_add2_int.fea
** (two multiplications)	expr_mult2_int.c	expr_mult2_int.fea
complex (combination)	expr_complex_int.c	expr_complex_int.fea
two lines (combination)	expr_multiline_int.c	expr_multiline_int.fea

Command Line Switch Test Case	Source file	Feature file
Implementation of a bit set	set.tar.gz	n/a

All test cases in one file: testcases.tar.gz
All scripts in one file: scripts.tar.gz