├── .gitignore ├── README.md ├── doc ├── ELTE_logo.png ├── LaTeX_symbols.pdf ├── PTI_Msc_diplomamunka.doc ├── Presentation.pptx ├── Thesis.aux ├── Thesis.bbl ├── Thesis.log ├── Thesis.pdf ├── Thesis.synctex.gz ├── Thesis.tex ├── Thesis.toc ├── cica.png ├── cica_backward_slice.png ├── cica_forward_slice.png ├── clang1.PNG ├── clang2.PNG ├── clang3.PNG ├── compound_block_test.png ├── dataflow1.PNG ├── dataflow2.PNG ├── dataflow_table.PNG ├── first_horwitz_output.txt ├── horwitz.cc_main_backward_slice.png ├── horwitz_cfg.dot ├── horwitz_cfg.png ├── horwitz_code.PNG ├── horwitz_neo4j.schema.dot ├── horwitz_pdg.png ├── if_test.png ├── if_test_cfg.dot ├── if_test_cfg.png ├── imp1.PNG ├── imp2.PNG ├── imp3.PNG ├── imp4.PNG ├── imp5.PNG ├── inforel1.PNG ├── inforel2.PNG ├── inforel3.PNG ├── loop_carried_test.png ├── loop_carried_test_backward_slice.png ├── loop_carried_test_forward_slice.png ├── matchers.txt ├── notes.md ├── pdg1.PNG ├── prototypes │ ├── InfoRelations.hs │ ├── gcd_inforel.hs │ ├── horwitz_dataflow.hs │ └── survey_inforel.hs ├── while_code.PNG └── while_while_while.png ├── importante.txt ├── include ├── pdg.h ├── pdgBuilder.h └── pdgBuilderAction.h ├── papers ├── 02_Exploring_LLVM.pdf ├── 08-Dependency AnalysisR.pdf ├── 10.1.1.135.6347.pdf ├── 10.1.1.22.8393.pdf ├── ConSIT_A_conditioned_program_slicer.pdf ├── MatrixMultiplication.pdf ├── OO84.pdf ├── On slicing programs with jumps.pdf ├── chp%3A10.1007%2FBFb0026437.pdf ├── efficient_pdg.pdf ├── ferrante87.pdf ├── fse94.pdf ├── harrold-slicing-icse96.pdf ├── oopsla1996.pdf ├── p26-horwitz.pdf ├── p392-horwitz.pdf ├── paper@slicing.pdf ├── plagiarised-version-of-ipl1995-paper.pdf ├── points-to-analysis.pdf ├── slicing concurrent programs.pdf ├── slicing-survey-tip.pdf ├── sparse.pdf └── tr1386.pdf ├── slicer.pro ├── slicer.sln ├── slicer.vcxproj ├── slicer.vcxproj.filters ├── slicer.vcxproj.user ├── src ├── main.cpp ├── pdg.cpp ├── pdgBuilder.cpp └── pdgBuilderAction.cpp └── test ├── cica.cc ├── cica.cc_main.dot ├── cica.cc_main.png ├── cica.cc_main_backward_slice.dot ├── cica.cc_main_backward_slice.png ├── cica.cc_main_forward_slice.dot ├── cica.cc_main_forward_slice.png ├── compound_block_test.cc ├── compound_block_test.cc_f.dot ├── compound_block_test.cc_f.png ├── compound_block_test.cc_f_backward_slice.dot ├── compound_block_test.cc_f_backward_slice.png ├── compound_block_test.cc_f_forward_slice.dot ├── compound_block_test.cc_f_forward_slice.png ├── dg.cpp ├── dg.cpp_fact.dot ├── dg.cpp_fact.png ├── dg.cpp_fact_backward_slice.dot ├── dg.cpp_fact_backward_slice.png ├── dg.cpp_fact_forward_slice.dot ├── dg.cpp_fact_forward_slice.png ├── dot2png.bat ├── horwitz.cc ├── horwitz.cc_main.dot ├── horwitz.cc_main.png ├── horwitz.cc_main_backward_slice.dot ├── horwitz.cc_main_backward_slice.png ├── horwitz.cc_main_forward_slice.dot ├── horwitz.cc_main_forward_slice.png ├── if_test.cc ├── if_test.cc_fn.dot ├── if_test.cc_fn.png ├── if_test.cc_fn_backward_slice.dot ├── if_test.cc_fn_backward_slice.png ├── if_test.cc_fn_forward_slice.dot ├── if_test.cc_fn_forward_slice.png ├── if_test2.cc ├── if_test2.cc_main.dot ├── if_test2.cc_main.png ├── if_test2.cc_main_backward_slice.dot ├── if_test2.cc_main_backward_slice.png ├── if_test2.cc_main_forward_slice.dot ├── if_test2.cc_main_forward_slice.png ├── if_while_test.cc ├── if_while_test.cc_main.dot ├── if_while_test.cc_main.png ├── if_while_test.cc_main_backward_slice.dot ├── if_while_test.cc_main_backward_slice.png ├── if_while_test.cc_main_forward_slice.dot ├── if_while_test.cc_main_forward_slice.png ├── loop_carried_test.cc ├── loop_carried_test.cc_main.dot ├── loop_carried_test.cc_main.png ├── loop_carried_test.cc_main_backward_slice.dot ├── loop_carried_test.cc_main_backward_slice.png ├── loop_carried_test.cc_main_forward_slice.dot ├── loop_carried_test.cc_main_forward_slice.png ├── paper.cc ├── runtests.bat ├── test.cc ├── test.cc_f.dot ├── test.cc_f.png ├── test.cc_f_backward_slice.dot ├── test.cc_f_backward_slice.png ├── test.cc_f_forward_slice.dot ├── test.cc_f_forward_slice.png ├── test_simple.cc ├── test_simple.cc_f.dot ├── test_simple.cc_f.png ├── test_simple.cc_f_backward_slice.dot ├── test_simple.cc_f_backward_slice.png ├── test_simple.cc_f_forward_slice.dot ├── test_simple.cc_f_forward_slice.png ├── while.cc ├── while.cc_main.dot ├── while.cc_main.png ├── while.cc_main_backward_slice.dot ├── while.cc_main_backward_slice.png ├── while.cc_main_forward_slice.dot ├── while.cc_main_forward_slice.png ├── while_while.cc ├── while_while.cc_main.dot ├── while_while.cc_main.png ├── while_while.cc_main_backward_slice.dot ├── while_while.cc_main_backward_slice.png ├── while_while.cc_main_forward_slice.dot ├── while_while.cc_main_forward_slice.png ├── while_while_while.cc ├── while_while_while.cc_main.dot ├── while_while_while.cc_main.png ├── while_while_while.cc_main_backward_slice.dot ├── while_while_while.cc_main_backward_slice.png ├── while_while_while.cc_main_forward_slice.dot └── while_while_while.cc_main_forward_slice.png /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/README.md -------------------------------------------------------------------------------- /doc/ELTE_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/ELTE_logo.png -------------------------------------------------------------------------------- /doc/LaTeX_symbols.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/LaTeX_symbols.pdf -------------------------------------------------------------------------------- /doc/PTI_Msc_diplomamunka.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/PTI_Msc_diplomamunka.doc -------------------------------------------------------------------------------- /doc/Presentation.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Presentation.pptx -------------------------------------------------------------------------------- /doc/Thesis.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Thesis.aux -------------------------------------------------------------------------------- /doc/Thesis.bbl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/Thesis.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Thesis.log -------------------------------------------------------------------------------- /doc/Thesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Thesis.pdf -------------------------------------------------------------------------------- /doc/Thesis.synctex.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Thesis.synctex.gz -------------------------------------------------------------------------------- /doc/Thesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Thesis.tex -------------------------------------------------------------------------------- /doc/Thesis.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/Thesis.toc -------------------------------------------------------------------------------- /doc/cica.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/cica.png -------------------------------------------------------------------------------- /doc/cica_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/cica_backward_slice.png -------------------------------------------------------------------------------- /doc/cica_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/cica_forward_slice.png -------------------------------------------------------------------------------- /doc/clang1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/clang1.PNG -------------------------------------------------------------------------------- /doc/clang2.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/clang2.PNG -------------------------------------------------------------------------------- /doc/clang3.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/clang3.PNG -------------------------------------------------------------------------------- /doc/compound_block_test.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/compound_block_test.png -------------------------------------------------------------------------------- /doc/dataflow1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/dataflow1.PNG -------------------------------------------------------------------------------- /doc/dataflow2.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/dataflow2.PNG -------------------------------------------------------------------------------- /doc/dataflow_table.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/dataflow_table.PNG -------------------------------------------------------------------------------- /doc/first_horwitz_output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/first_horwitz_output.txt -------------------------------------------------------------------------------- /doc/horwitz.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/horwitz.cc_main_backward_slice.png -------------------------------------------------------------------------------- /doc/horwitz_cfg.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/horwitz_cfg.dot -------------------------------------------------------------------------------- /doc/horwitz_cfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/horwitz_cfg.png -------------------------------------------------------------------------------- /doc/horwitz_code.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/horwitz_code.PNG -------------------------------------------------------------------------------- /doc/horwitz_neo4j.schema.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/horwitz_neo4j.schema.dot -------------------------------------------------------------------------------- /doc/horwitz_pdg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/horwitz_pdg.png -------------------------------------------------------------------------------- /doc/if_test.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/if_test.png -------------------------------------------------------------------------------- /doc/if_test_cfg.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/if_test_cfg.dot -------------------------------------------------------------------------------- /doc/if_test_cfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/if_test_cfg.png -------------------------------------------------------------------------------- /doc/imp1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/imp1.PNG -------------------------------------------------------------------------------- /doc/imp2.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/imp2.PNG -------------------------------------------------------------------------------- /doc/imp3.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/imp3.PNG -------------------------------------------------------------------------------- /doc/imp4.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/imp4.PNG -------------------------------------------------------------------------------- /doc/imp5.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/imp5.PNG -------------------------------------------------------------------------------- /doc/inforel1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/inforel1.PNG -------------------------------------------------------------------------------- /doc/inforel2.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/inforel2.PNG -------------------------------------------------------------------------------- /doc/inforel3.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/inforel3.PNG -------------------------------------------------------------------------------- /doc/loop_carried_test.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/loop_carried_test.png -------------------------------------------------------------------------------- /doc/loop_carried_test_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/loop_carried_test_backward_slice.png -------------------------------------------------------------------------------- /doc/loop_carried_test_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/loop_carried_test_forward_slice.png -------------------------------------------------------------------------------- /doc/matchers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/matchers.txt -------------------------------------------------------------------------------- /doc/notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/notes.md -------------------------------------------------------------------------------- /doc/pdg1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/pdg1.PNG -------------------------------------------------------------------------------- /doc/prototypes/InfoRelations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/prototypes/InfoRelations.hs -------------------------------------------------------------------------------- /doc/prototypes/gcd_inforel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/prototypes/gcd_inforel.hs -------------------------------------------------------------------------------- /doc/prototypes/horwitz_dataflow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/prototypes/horwitz_dataflow.hs -------------------------------------------------------------------------------- /doc/prototypes/survey_inforel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/prototypes/survey_inforel.hs -------------------------------------------------------------------------------- /doc/while_code.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/while_code.PNG -------------------------------------------------------------------------------- /doc/while_while_while.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/doc/while_while_while.png -------------------------------------------------------------------------------- /importante.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/importante.txt -------------------------------------------------------------------------------- /include/pdg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/include/pdg.h -------------------------------------------------------------------------------- /include/pdgBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/include/pdgBuilder.h -------------------------------------------------------------------------------- /include/pdgBuilderAction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/include/pdgBuilderAction.h -------------------------------------------------------------------------------- /papers/02_Exploring_LLVM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/02_Exploring_LLVM.pdf -------------------------------------------------------------------------------- /papers/08-Dependency AnalysisR.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/08-Dependency AnalysisR.pdf -------------------------------------------------------------------------------- /papers/10.1.1.135.6347.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/10.1.1.135.6347.pdf -------------------------------------------------------------------------------- /papers/10.1.1.22.8393.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/10.1.1.22.8393.pdf -------------------------------------------------------------------------------- /papers/ConSIT_A_conditioned_program_slicer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/ConSIT_A_conditioned_program_slicer.pdf -------------------------------------------------------------------------------- /papers/MatrixMultiplication.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/MatrixMultiplication.pdf -------------------------------------------------------------------------------- /papers/OO84.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/OO84.pdf -------------------------------------------------------------------------------- /papers/On slicing programs with jumps.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/On slicing programs with jumps.pdf -------------------------------------------------------------------------------- /papers/chp%3A10.1007%2FBFb0026437.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/chp%3A10.1007%2FBFb0026437.pdf -------------------------------------------------------------------------------- /papers/efficient_pdg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/efficient_pdg.pdf -------------------------------------------------------------------------------- /papers/ferrante87.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/ferrante87.pdf -------------------------------------------------------------------------------- /papers/fse94.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/fse94.pdf -------------------------------------------------------------------------------- /papers/harrold-slicing-icse96.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/harrold-slicing-icse96.pdf -------------------------------------------------------------------------------- /papers/oopsla1996.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/oopsla1996.pdf -------------------------------------------------------------------------------- /papers/p26-horwitz.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/p26-horwitz.pdf -------------------------------------------------------------------------------- /papers/p392-horwitz.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/p392-horwitz.pdf -------------------------------------------------------------------------------- /papers/paper@slicing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/paper@slicing.pdf -------------------------------------------------------------------------------- /papers/plagiarised-version-of-ipl1995-paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/plagiarised-version-of-ipl1995-paper.pdf -------------------------------------------------------------------------------- /papers/points-to-analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/points-to-analysis.pdf -------------------------------------------------------------------------------- /papers/slicing concurrent programs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/slicing concurrent programs.pdf -------------------------------------------------------------------------------- /papers/slicing-survey-tip.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/slicing-survey-tip.pdf -------------------------------------------------------------------------------- /papers/sparse.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/sparse.pdf -------------------------------------------------------------------------------- /papers/tr1386.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/papers/tr1386.pdf -------------------------------------------------------------------------------- /slicer.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/slicer.pro -------------------------------------------------------------------------------- /slicer.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/slicer.sln -------------------------------------------------------------------------------- /slicer.vcxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/slicer.vcxproj -------------------------------------------------------------------------------- /slicer.vcxproj.filters: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/slicer.vcxproj.filters -------------------------------------------------------------------------------- /slicer.vcxproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/slicer.vcxproj.user -------------------------------------------------------------------------------- /src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/src/main.cpp -------------------------------------------------------------------------------- /src/pdg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/src/pdg.cpp -------------------------------------------------------------------------------- /src/pdgBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/src/pdgBuilder.cpp -------------------------------------------------------------------------------- /src/pdgBuilderAction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/src/pdgBuilderAction.cpp -------------------------------------------------------------------------------- /test/cica.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc -------------------------------------------------------------------------------- /test/cica.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc_main.dot -------------------------------------------------------------------------------- /test/cica.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc_main.png -------------------------------------------------------------------------------- /test/cica.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/cica.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/cica.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/cica.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/cica.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/compound_block_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc -------------------------------------------------------------------------------- /test/compound_block_test.cc_f.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc_f.dot -------------------------------------------------------------------------------- /test/compound_block_test.cc_f.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc_f.png -------------------------------------------------------------------------------- /test/compound_block_test.cc_f_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc_f_backward_slice.dot -------------------------------------------------------------------------------- /test/compound_block_test.cc_f_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc_f_backward_slice.png -------------------------------------------------------------------------------- /test/compound_block_test.cc_f_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc_f_forward_slice.dot -------------------------------------------------------------------------------- /test/compound_block_test.cc_f_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/compound_block_test.cc_f_forward_slice.png -------------------------------------------------------------------------------- /test/dg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp -------------------------------------------------------------------------------- /test/dg.cpp_fact.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp_fact.dot -------------------------------------------------------------------------------- /test/dg.cpp_fact.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp_fact.png -------------------------------------------------------------------------------- /test/dg.cpp_fact_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp_fact_backward_slice.dot -------------------------------------------------------------------------------- /test/dg.cpp_fact_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp_fact_backward_slice.png -------------------------------------------------------------------------------- /test/dg.cpp_fact_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp_fact_forward_slice.dot -------------------------------------------------------------------------------- /test/dg.cpp_fact_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dg.cpp_fact_forward_slice.png -------------------------------------------------------------------------------- /test/dot2png.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/dot2png.bat -------------------------------------------------------------------------------- /test/horwitz.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc -------------------------------------------------------------------------------- /test/horwitz.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc_main.dot -------------------------------------------------------------------------------- /test/horwitz.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc_main.png -------------------------------------------------------------------------------- /test/horwitz.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/horwitz.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/horwitz.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/horwitz.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/horwitz.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/if_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc -------------------------------------------------------------------------------- /test/if_test.cc_fn.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc_fn.dot -------------------------------------------------------------------------------- /test/if_test.cc_fn.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc_fn.png -------------------------------------------------------------------------------- /test/if_test.cc_fn_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc_fn_backward_slice.dot -------------------------------------------------------------------------------- /test/if_test.cc_fn_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc_fn_backward_slice.png -------------------------------------------------------------------------------- /test/if_test.cc_fn_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc_fn_forward_slice.dot -------------------------------------------------------------------------------- /test/if_test.cc_fn_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test.cc_fn_forward_slice.png -------------------------------------------------------------------------------- /test/if_test2.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc -------------------------------------------------------------------------------- /test/if_test2.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc_main.dot -------------------------------------------------------------------------------- /test/if_test2.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc_main.png -------------------------------------------------------------------------------- /test/if_test2.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/if_test2.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/if_test2.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/if_test2.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_test2.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/if_while_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc -------------------------------------------------------------------------------- /test/if_while_test.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc_main.dot -------------------------------------------------------------------------------- /test/if_while_test.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc_main.png -------------------------------------------------------------------------------- /test/if_while_test.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/if_while_test.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/if_while_test.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/if_while_test.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/if_while_test.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/loop_carried_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc -------------------------------------------------------------------------------- /test/loop_carried_test.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc_main.dot -------------------------------------------------------------------------------- /test/loop_carried_test.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc_main.png -------------------------------------------------------------------------------- /test/loop_carried_test.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/loop_carried_test.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/loop_carried_test.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/loop_carried_test.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/loop_carried_test.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/paper.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/paper.cc -------------------------------------------------------------------------------- /test/runtests.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/runtests.bat -------------------------------------------------------------------------------- /test/test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc -------------------------------------------------------------------------------- /test/test.cc_f.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc_f.dot -------------------------------------------------------------------------------- /test/test.cc_f.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc_f.png -------------------------------------------------------------------------------- /test/test.cc_f_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc_f_backward_slice.dot -------------------------------------------------------------------------------- /test/test.cc_f_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc_f_backward_slice.png -------------------------------------------------------------------------------- /test/test.cc_f_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc_f_forward_slice.dot -------------------------------------------------------------------------------- /test/test.cc_f_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test.cc_f_forward_slice.png -------------------------------------------------------------------------------- /test/test_simple.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc -------------------------------------------------------------------------------- /test/test_simple.cc_f.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc_f.dot -------------------------------------------------------------------------------- /test/test_simple.cc_f.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc_f.png -------------------------------------------------------------------------------- /test/test_simple.cc_f_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc_f_backward_slice.dot -------------------------------------------------------------------------------- /test/test_simple.cc_f_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc_f_backward_slice.png -------------------------------------------------------------------------------- /test/test_simple.cc_f_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc_f_forward_slice.dot -------------------------------------------------------------------------------- /test/test_simple.cc_f_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/test_simple.cc_f_forward_slice.png -------------------------------------------------------------------------------- /test/while.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc -------------------------------------------------------------------------------- /test/while.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc_main.dot -------------------------------------------------------------------------------- /test/while.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc_main.png -------------------------------------------------------------------------------- /test/while.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/while.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/while.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/while.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/while_while.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc -------------------------------------------------------------------------------- /test/while_while.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc_main.dot -------------------------------------------------------------------------------- /test/while_while.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc_main.png -------------------------------------------------------------------------------- /test/while_while.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/while_while.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/while_while.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/while_while.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while.cc_main_forward_slice.png -------------------------------------------------------------------------------- /test/while_while_while.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc -------------------------------------------------------------------------------- /test/while_while_while.cc_main.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc_main.dot -------------------------------------------------------------------------------- /test/while_while_while.cc_main.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc_main.png -------------------------------------------------------------------------------- /test/while_while_while.cc_main_backward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc_main_backward_slice.dot -------------------------------------------------------------------------------- /test/while_while_while.cc_main_backward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc_main_backward_slice.png -------------------------------------------------------------------------------- /test/while_while_while.cc_main_forward_slice.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc_main_forward_slice.dot -------------------------------------------------------------------------------- /test/while_while_while.cc_main_forward_slice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwat3r/slicer/HEAD/test/while_while_while.cc_main_forward_slice.png --------------------------------------------------------------------------------