diff --git a/Ghidra/Features/Decompiler/src/main/doc/sleigh.xml b/Ghidra/Features/Decompiler/src/main/doc/sleigh.xml index 2475a9d174..d9563cdf1a 100644 --- a/Ghidra/Features/Decompiler/src/main/doc/sleigh.xml +++ b/Ghidra/Features/Decompiler/src/main/doc/sleigh.xml @@ -48,12 +48,12 @@ Transformation toward a high-level representation via - + Data-flow analysis, including dead code analysis and copy propagation. - - - Control-flow analysis using graph reducibility to achieve a structured representation. - + + + Control-flow analysis, using graph reducibility to achieve a structured representation. + @@ -72,17 +72,11 @@ CristinaCifuentes - - Reverse Compilation Techniques - + Reverse Compilation Techniques 1994 Ph.D. Dissertation. Queensland University of Technology -
- Brisbane City, - QLD, - Australia -
+
Brisbane City, QLD, Australia
diff --git a/GhidraDocs/languages/html/sleigh.html b/GhidraDocs/languages/html/sleigh.html index e54307a955..c3a1ec2e1f 100644 --- a/GhidraDocs/languages/html/sleigh.html +++ b/GhidraDocs/languages/html/sleigh.html @@ -139,10 +139,10 @@
  • Data-flow analysis, including dead code analysis and copy propagation. -
  • +
  • - Control-flow analysis using graph reducibility to achieve a structured representation. -
  • + Control-flow analysis, using graph reducibility to achieve a structured representation. +
  • @@ -156,13 +156,7 @@

    References

    -

    [1] Cristina Cifuentes. - Reverse Compilation Techniques - . 1994. Ph.D. Dissertation. Queensland University of Technology. - Brisbane City, - QLD, - Australia - .

    +

    [1] Cristina Cifuentes. Reverse Compilation Techniques. 1994. Ph.D. Dissertation. Queensland University of Technology. Brisbane City, QLD, Australia.

    [2] Cristina Cifuentes and Mike Van Emmerik. “UQBT: Adaptable Binary Translation at Low Cost”. Computer. (Mar. 2000). pp. 60-66.