svf-lib 1.0.1228 → 1.0.1229

package/SVF-osx/include/CFL/CFGNormalizer.h

@@ -36,7 +36,7 @@ namespace SVF
 {
 
 /*!
- *  Generate Normalized Grammar from a grammarbase
+ *  Generate Normalized Grammar (backus naur form) from a grammarbase (Extended extended Backus–Naur form )
  *
  *  To Do:
  *      Error Notice for ill formed production,
@@ -64,6 +64,8 @@ private:
 
     void ebnfSignReplace(char sign, CFLGrammar *grammar);
 
+    void barReplace(CFLGrammar *grammar);
+
     void insertToCFLGrammar(CFLGrammar *grammar, GrammarBase::Production &prod);
 
     int ebnfBracketMatch(GrammarBase::Production& prod, int i, CFLGrammar *grammar) ;

package/SVF-osx/include/CFL/PEGGrammar.txt

@@ -3,22 +3,9 @@ Start:
 Terminal:
    Addr Copy Store Load Gep
 Productions:
-   F -> epsilon;
+   F -> ( Copy M ? ) *;
+   Fbar -> ( M ? Copybar ) *;
    M -> Addr V Addrbar;
-   V -> Fbar V F;
-   V -> Gepbar_i V Gep_i;
-   V -> M;
-   V -> epsilon;
-   F -> F Copy;
-   F -> F Copy M;
-   Fbar -> epsilon;
-   Fbar -> Copybar Fbar;
-   Fbar -> M Copybar Fbar;
-   ArrayPath -> Gepbar_0 Gepbar_0;
-   ArrayPath -> ArrayPath Gepbar_0;
-   Memcpy -> Addrbar V Addr;
-   Memcpy -> Gep_i Memcpy Gepbar_i;
-   Memcpy -> F Memcpy Fbar;
-   V -> Gepbar_i Memcpy Gep_i;
-   V -> Gep_i Memcpy Gepbar_i;
-   V -> ArrayPath V Gep_0;
+   V -> Fbar V F | Gepbar_i V Gep_i | M | epsilon | Gepbar_i Memcpy Gep_i | Gep_i Memcpy Gepbar_i | ArrayPath V Gep_0;
+   ArrayPath -> Gepbar_0 Gepbar_0 | ArrayPath Gepbar_0;
+   Memcpy -> Addrbar V Addr | Gep_i Memcpy Gepbar_i | F Memcpy Fbar;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1228",
+  "version": "1.0.1229",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {