Added array bounds checks...

diff --git a/Repair/RepairCompiler/MCC/IR/DotExpr.java b/Repair/RepairCompiler/MCC/IR/DotExpr.java
index bc0bc17acfa9a017fd513bef83955551a30be2cd..684c4fe364df7357468c96cb642af4ad2fafad1a 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DotExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/DotExpr.java
@@ -1,6 +1,7 @@
 package MCC.IR;
 
 import java.util.*;
 package MCC.IR;
 
 import java.util.*;

+import MCC.Compiler;

 
 public class DotExpr extends Expr {
     
 
 public class DotExpr extends Expr {
     


@@ -144,13 +145,42 @@ public class DotExpr extends Expr {
        FieldDescriptor fd=this.fd;
        if (fd instanceof ArrayDescriptor)
            fd=((ArrayDescriptor)fd).getField();
        FieldDescriptor fd=this.fd;
        if (fd instanceof ArrayDescriptor)
            fd=((ArrayDescriptor)fd).getField();

+       boolean doboundscheck=true;
+       boolean performedboundscheck=false;
+
+       writer.outputline(getType().getGenerateType() + " " + dest.getSafeSymbol()+"=0;");

 
         if (intindex != null) {
             if (intindex instanceof IntegerLiteralExpr && ((IntegerLiteralExpr) intindex).getValue() == 0) {
                 /* short circuit for constant 0 */
             } else {
                 Expr basesize = fd.getBaseSizeExpr();
 
         if (intindex != null) {
             if (intindex instanceof IntegerLiteralExpr && ((IntegerLiteralExpr) intindex).getValue() == 0) {
                 /* short circuit for constant 0 */
             } else {
                 Expr basesize = fd.getBaseSizeExpr();

-                offsetbits = new OpExpr(Opcode.ADD, offsetbits, new OpExpr(Opcode.MULT, basesize, intindex));
+               if (doboundscheck) {
+                   VarDescriptor indexvd=VarDescriptor.makeNew("index");
+                   indexvd.setType(ReservedTypeDescriptor.INT);
+                   writer.getSymbolTable().add(indexvd);
+
+                   writer.output("// " + indexvd.getSafeSymbol() + " <-- ");
+
+                   intindex.prettyPrint(writer);
+                   writer.outputline("");
+                   intindex.generate(writer, indexvd);
+                   writer.output("// " + indexvd.getSafeSymbol() + " = ");
+                   intindex.prettyPrint(writer);
+                   writer.outputline("");
+                   Expr indexbound=((ArrayDescriptor)this.fd).getIndexBound();
+                   VarDescriptor indexboundvd=VarDescriptor.makeNew("indexbound");
+
+                   indexbound.generate(writer,indexboundvd);
+                   
+                   writer.outputline("if ("+indexvd.getSafeSymbol()+">=0 &&"+indexvd.getSafeSymbol()+"<"+indexboundvd.getSafeSymbol()+")");
+                   writer.startblock();
+                   VarExpr indexve=new VarExpr(indexvd);
+                   offsetbits = new OpExpr(Opcode.ADD, offsetbits, new OpExpr(Opcode.MULT, basesize, indexve));
+                   
+                   performedboundscheck=true;
+               } else
+                   offsetbits = new OpExpr(Opcode.ADD, offsetbits, new OpExpr(Opcode.MULT, basesize, intindex));

             }
         }
 
             }
         }
 


@@ -168,108 +198,69 @@ public class DotExpr extends Expr {
                
         boolean dotypecheck = false;
 
                
         boolean dotypecheck = false;
 

-        if (offsetbits instanceof IntegerLiteralExpr) {
-            int offsetinbits = ((IntegerLiteralExpr) offsetbits).getValue();
-            int offset = offsetinbits >> 3; /* offset in bytes */
-
-            if (fd.getType() instanceof ReservedTypeDescriptor && !fd.getPtr()) {
-                int shift = offsetinbits - (offset << 3);            
-                int mask = bitmask(((IntegerLiteralExpr)fd.getType().getSizeExpr()).getValue());
-                               
-                /* type var = ((*(int *) (base + offset)) >> shift) & mask */
-               writer.outputline(getType().getGenerateType() + " "+dest.getSafeSymbol()+"=0;");
-               writer.outputline("if ("+leftd.getSafeSymbol()+")");
-               writer.outputline(dest.getSafeSymbol() + " = ((*(int *)" + 
-                                  "(" + leftd.getSafeSymbol() + " + " + offset + ")) " + 
-                                  " >> " + shift + ") & 0x" + Integer.toHexString(mask) + ";");
-               writer.outputline("else maybe=1;");
-            } else { /* a structure address or a ptr! */
-                String ptr = fd.getPtr() ? "*(int *)" : "";
-                /* type var = [*(int *)] (base + offset) */
-                writer.outputline("int " + dest.getSafeSymbol()+"=0;");
-               writer.outputline("if ("+leftd.getSafeSymbol()+")");
+       VarDescriptor ob = VarDescriptor.makeNew("offsetinbits");
+       writer.output("// " + ob.getSafeSymbol() + " <-- ");
+       offsetbits.prettyPrint(writer);
+       writer.outputline("");
+       offsetbits.generate(writer, ob);
+       writer.output("// " + ob.getSafeSymbol() + " = ");
+       offsetbits.prettyPrint(writer);
+       writer.outputline("");
+       
+       /* derive offset in bytes */
+       VarDescriptor offset = VarDescriptor.makeNew("offset");
+       writer.outputline("int " + offset.getSafeSymbol() + " = " + ob.getSafeSymbol() + " >> 3;");
+       
+       if (fd.getType() instanceof ReservedTypeDescriptor && !fd.getPtr()) {
+           VarDescriptor shift = VarDescriptor.makeNew("shift");
+           writer.outputline("int " + shift.getSafeSymbol() + " = " + ob.getSafeSymbol() + 
+                             " - (" + offset.getSafeSymbol() + " << 3);");
+           int mask = bitmask(((IntegerLiteralExpr)fd.getType().getSizeExpr()).getValue());
+           
+           /* type var = ((*(int *) (base + offset)) >> shift) & mask */
+           writer.outputline("if ("+leftd.getSafeSymbol()+")");
+           writer.outputline(dest.getSafeSymbol() + " = ((*(int *)" + 
+                             "(" + leftd.getSafeSymbol() + " + " + offset.getSafeSymbol() + ")) " + 
+                             " >> " + shift.getSafeSymbol() + ") & 0x" + Integer.toHexString(mask) + ";");  
+           writer.outputline("else maybe=1;");
+       } else { /* a structure address or a ptr */
+           String ptr = fd.getPtr() ? "*(int *)" : "";
+           /* type var = [*(int *)] (base + offset) */
+           writer.outputline("if ("+leftd.getSafeSymbol()+")");
+           writer.startblock();
+           writer.outputline(dest.getSafeSymbol() + 
+                             " = " + ptr + "(" + leftd.getSafeSymbol() + " + " + offset.getSafeSymbol() + ");");  
+           if (fd.getPtr()) {
+               writer.outputline("if ("+dest.getSafeSymbol()+")");

                writer.startblock();
                writer.startblock();

-                writer.outputline(dest.getSafeSymbol() + 
-                                  " = " + ptr + "(" + leftd.getSafeSymbol() + " + " + offset + ");");  
-               if (fd.getPtr()) {
-                   writer.outputline("if ("+dest.getSafeSymbol()+")");
-                   writer.startblock();
-                   VarDescriptor typevar=VarDescriptor.makeNew("typechecks");
-                   if (DOMEMCHECKS&&(!DOTYPECHECKS)) {
-                       writer.outputline("bool "+typevar.getSafeSymbol()+"=assertvalidmemory(" + dest.getSafeSymbol() + ", " + this.td.getId() + ");");
-                       dotypecheck = true;
-                   } else if (DOTYPECHECKS) {
-                       writer.outputline("bool "+typevar.getSafeSymbol()+"=assertvalidtype(" + dest.getSafeSymbol() + ", " + this.td.getId() + ");");
-                   }
-                   writer.outputline("if (!"+typevar.getSafeSymbol()+")");
-                   writer.startblock();
-                   writer.outputline(dest.getSafeSymbol()+"=0;");
-                   if (DONULL)
-                       writer.outputline(ptr + "(" + leftd.getSafeSymbol() + " + " + offset + ")=0;");
-                   writer.endblock();
-                   writer.endblock();
+               VarDescriptor typevar=VarDescriptor.makeNew("typechecks");
+               if (DOMEMCHECKS&&(!DOTYPECHECKS)) {
+                   writer.outputline("bool "+typevar.getSafeSymbol()+"=assertvalidmemory(" + dest.getSafeSymbol() + ", " + this.td.getId() + ");");
+                   dotypecheck = true;
+               } else if (DOTYPECHECKS) {
+                   writer.outputline("bool "+typevar.getSafeSymbol()+"=assertvalidtype(" + dest.getSafeSymbol() + ", " + this.td.getId() + ");");

                }
                }

-               writer.endblock();
-               writer.outputline("else maybe=1;");
-            }
-        } else { /* offset in bits is an expression that must be generated */                        
-            VarDescriptor ob = VarDescriptor.makeNew("offsetinbits");
-            writer.output("// " + ob.getSafeSymbol() + " <-- ");
-            offsetbits.prettyPrint(writer);
-            writer.outputline("");
-            offsetbits.generate(writer, ob);
-            writer.output("// " + ob.getSafeSymbol() + " = ");
-            offsetbits.prettyPrint(writer);
-            writer.outputline("");
-
-            /* derive offset in bytes */
-            VarDescriptor offset = VarDescriptor.makeNew("offset");
-            writer.outputline("int " + offset.getSafeSymbol() + " = " + ob.getSafeSymbol() + " >> 3;");
-            
-            if (fd.getType() instanceof ReservedTypeDescriptor && !fd.getPtr()) {
-                VarDescriptor shift = VarDescriptor.makeNew("shift");
-                writer.outputline("int " + shift.getSafeSymbol() + " = " + ob.getSafeSymbol() + 
-                                  " - (" + offset.getSafeSymbol() + " << 3);");
-                int mask = bitmask(((IntegerLiteralExpr)fd.getType().getSizeExpr()).getValue());
-                
-                /* type var = ((*(int *) (base + offset)) >> shift) & mask */
-               writer.outputline(getType().getGenerateType() + " " + dest.getSafeSymbol()+"=0;");
-               writer.outputline("if ("+leftd.getSafeSymbol()+")");
-                writer.outputline(dest.getSafeSymbol() + 
-                                  " = ((*(int *)" + 
-                                  "(" + leftd.getSafeSymbol() + " + " + offset.getSafeSymbol() + ")) " + 
-                                  " >> " + shift.getSafeSymbol() + ") & 0x" + Integer.toHexString(mask) + ";");  
-               writer.outputline("else maybe=1;");
-            } else { /* a structure address or a ptr */
-                String ptr = fd.getPtr() ? "*(int *)" : "";
-                /* type var = [*(int *)] (base + offset) */
-                writer.outputline("int " + dest.getSafeSymbol() +"=0;"); 
-               writer.outputline("if ("+leftd.getSafeSymbol()+")");
+               writer.outputline("if (!"+typevar.getSafeSymbol()+")");

                writer.startblock();
                writer.startblock();

-                writer.outputline(dest.getSafeSymbol() + 
-                                  " = " + ptr + "(" + leftd.getSafeSymbol() + " + " + offset.getSafeSymbol() + ");");  
-               if (fd.getPtr()) {
-                   writer.outputline("if ("+dest.getSafeSymbol()+")");
-                   writer.startblock();
-                   VarDescriptor typevar=VarDescriptor.makeNew("typechecks");
-                   if (DOMEMCHECKS&&(!DOTYPECHECKS)) {
-                       writer.outputline("bool "+typevar.getSafeSymbol()+"=assertvalidmemory(" + dest.getSafeSymbol() + ", " + this.td.getId() + ");");
-                       dotypecheck = true;
-                   } else if (DOTYPECHECKS) {
-                       writer.outputline("bool "+typevar.getSafeSymbol()+"=assertvalidtype(" + dest.getSafeSymbol() + ", " + this.td.getId() + ");");
-                   }
-                   writer.outputline("if (!"+typevar.getSafeSymbol()+")");
-                   writer.startblock();
-                   writer.outputline(dest.getSafeSymbol()+"=0;");
-                   if (DONULL)
-                       writer.outputline(ptr + "(" + leftd.getSafeSymbol() + " + " + offset.getSafeSymbol() + ")=0;");
-                   writer.endblock();
-                   writer.endblock();
-               }
+               writer.outputline(dest.getSafeSymbol()+"=0;");
+               if (DONULL)
+                   writer.outputline(ptr + "(" + leftd.getSafeSymbol() + " + " + offset.getSafeSymbol() + ")=0;");

                writer.endblock();
                writer.endblock();

-               writer.outputline("else maybe=1;");
-            }
+               writer.endblock();
+           }
+           writer.endblock();
+           writer.outputline("else maybe=1;");

         }
         }

+       if (performedboundscheck) {
+           writer.endblock();
+           writer.outputline(" else ");
+           writer.startblock();
+           writer.outputline(dest.getSafeSymbol()+"=0;");
+           writer.outputline("maybe=1;");
+           if (!Compiler.REPAIR)
+               writer.outputline("printf(\"Array Index Out of Bounds\");");
+           writer.endblock();
+       }

     }
 
     private int bitmask(int bits) {
     }
 
     private int bitmask(int bits) {

diff --git a/Repair/RepairCompiler/MCC/IR/UpdateNode.java b/Repair/RepairCompiler/MCC/IR/UpdateNode.java
index f7175fec4f0c54dcc7eb06f8c852a1cf616b22ac..97ec85278329228bc73a1f1d5b5846f2089f7b88 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/UpdateNode.java
+++ b/Repair/RepairCompiler/MCC/IR/UpdateNode.java
@@ -464,6 +464,7 @@ class UpdateNode {
        for(int i=dotvector.size()-1;i>=0;i--) {
            Expr e=(Expr)dotvector.get(i);
            if (e instanceof CastExpr) {
        for(int i=dotvector.size()-1;i>=0;i--) {
            Expr e=(Expr)dotvector.get(i);
            if (e instanceof CastExpr) {

+               newexpr.td=e.td;

                newexpr=new CastExpr(((CastExpr)e).getType(),newexpr);
            } else if (e instanceof DotExpr) {
                DotExpr de=(DotExpr)e;
                newexpr=new CastExpr(((CastExpr)e).getType(),newexpr);
            } else if (e instanceof DotExpr) {
                DotExpr de=(DotExpr)e;


@@ -471,6 +472,7 @@ class UpdateNode {
                    DotExpr de2=new DotExpr(newexpr,de.field,new IntegerLiteralExpr(0));
                    de2.fd=de.fd;
                    de2.fieldtype=de.fieldtype;
                    DotExpr de2=new DotExpr(newexpr,de.field,new IntegerLiteralExpr(0));
                    de2.fd=de.fd;
                    de2.fieldtype=de.fieldtype;

+                   de2.td=de.td;

                    OpExpr offset=new OpExpr(Opcode.SUB,rightve,de2);
                    OpExpr index=new OpExpr(Opcode.DIV,offset,de.fieldtype.getSizeExpr());
                    if (u.getRightPos()==apindex) {
                    OpExpr offset=new OpExpr(Opcode.SUB,rightve,de2);
                    OpExpr index=new OpExpr(Opcode.DIV,offset,de.fieldtype.getSizeExpr());
                    if (u.getRightPos()==apindex) {


@@ -479,6 +481,7 @@ class UpdateNode {
                    } else {
                        DotExpr de3=new DotExpr(newexpr,de.field,index);
                        de3.fd=de.fd;
                    } else {
                        DotExpr de3=new DotExpr(newexpr,de.field,index);
                        de3.fd=de.fd;

+                       de3.td=de.td;

                        de3.fieldtype=de.fieldtype;
                        newexpr=de3;
                    }
                        de3.fieldtype=de.fieldtype;
                        newexpr=de3;
                    }


@@ -486,6 +489,7 @@ class UpdateNode {
                    DotExpr de2=new DotExpr(newexpr,de.field,null);
                    de2.fd=de.fd;
                    de2.fieldtype=de.fieldtype;
                    DotExpr de2=new DotExpr(newexpr,de.field,null);
                    de2.fd=de.fd;
                    de2.fieldtype=de.fieldtype;

+                   de2.td=de.td;

                    newexpr=de2;
                }
                apindex++;
                    newexpr=de2;
                }
                apindex++;