Package hampi.grammars.apps

Examples of hampi.grammars.apps.GrammarStringBounder

86
87
88
89
90
91
92
93
94
95
96
97
98
    System.out.println(solve);
  }

  public void testGrammarBound8_comment() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 21;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
    h.setSolver(stp());
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
    Expression query = h.concatExpr(h.constExpr("UPDATE"), h.varExpr("v"), h.constExpr("'"));
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
116
117
    System.out.println(solve);
  }

  public void testGrammarBound9() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 40;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "SelectStmt", bound, false);
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
    h.setSolver(stp());
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
    Expression query = h.concatExpr(h.constExpr("SELECT * FROM Faq WHERE context = '"), h.varExpr("v"), h.constExpr("'"));
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
144
145
   * <br>
   * NOTE: out of memory
   */
  public void testGrammarBound10() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 30;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);

    assertTrue(boundedRegexp.matches("UPDATE m SET n='1' WHERE '1'='1'--', D='1'"));//make sure the intended solution works
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
    h.setSolver(stp());
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
183
184
   * <br>
   * NOTE: way out of memory
   */
  public void testGrammarBound11() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 110; //at least
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);

    assertTrue(boundedRegexp
        .matches("UPDATE MembersMain SET Name = '1' WHERE '1'='1'--', Division = '1', RankCorp = '1', Vacation = '1', Comment = '1', LastUpdate = Now(), Deleted = '1' WHERE MemberID = '1'"));//make sure the intended solution works
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
View Full Code Here
206
207
208
209
210
211
212
213
214
215
216
217
218
   * <br>
   * VAR = 1' OR '1'='1<br>
   */
  public void testGrammarBound12() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 110; //at least
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);

    assertTrue(boundedRegexp
        .matches("SELECT MemberID, Name, Division, DateJoined, RankCorp, Vacation, Comment, Deleted FROM MembersMain WHERE MemberID='1' OR '1'='1'"));//make sure the intended solution works
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
View Full Code Here
239
240
241
242
243
244
245
246
247
248
249
250
251
   * <br>
   * VAR = 1' OR '1'='1 (length 12 chars)<br>
   */
  public void testGrammarBound12_small() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 25;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "SelectStmt", bound, false);

    assertTrue(boundedRegexp.matches("SELECT M FROM m WHERE d='1' OR '1'='1'"));//make sure the intended solution works
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
    h.setSolver(stp());
View Full Code Here
269
270
271
272
273
274
275
276
277
278
279
280
281
   * Query = UPDATE MembersMain SET Vacation = 'x' WHERE '1'='1'--' WHERE Name = '1' (length 56 tokens)
   * VAR = x' WHERE '1'='1'-- (length 18 chars)
   */
  public void testGrammarBound13() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 56;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "SelectStmt", bound, false);

    assertTrue(boundedRegexp.matches("SELECT M FROM m WHERE d='1' OR '1'='1'"));//make sure the intended solution works
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
    h.setSolver(stp());
View Full Code Here
TOP

Related Classes of hampi.grammars.apps.GrammarStringBounder

  • hampi.Hampi
  • hampi.parser.HConstraintPreparer
  • hampi.tests.gramgren.BoundingTests
  • hampi.tests.SolverBenchmarks
  • hampi.tests.SolverTests
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.