Python compileRE Examples

Example #1

File: test.py Project: kravtsun/au-fl

 def build_automatas(self):
     nfa = reCompiler.compileRE(self.expr, minimize=0).trimmed()
     dfa = nfa.determinized()
     dfa_min = dfa.minimized()
     automatas = [nfa, dfa, dfa_min]
     suffixes = ["nfa", "dfa", "dfa_min"]
     for p in zip(automatas, suffixes):
         self.work_automata(self.name, *p)
     return dfa

Example #2

File: server.py Project: parksangkil/osteele.com

def createContent(pattern, graphKey=None):
    import FSA
    import reCompiler
    from rematch import parseDot, fsa2dot, fsa2obj
    from encoder import JSONEncoder

    obj = {}
    obj["pattern"] = pattern
    fsa = reCompiler.compileRE(pattern, minimize=0, recordSourcePositions=1)
    # withoutEpsilons doesn't preserve metadata, so capture it in the
    # dfa first
    dfa = fsa.minimized()
    fsa = fsa.withoutEpsilons()
    obj["nfa"] = {"graph": parseDot(fsa2dot(fsa)), "model": fsa2obj(fsa)}
    obj["dfa"] = {"graph": parseDot(fsa2dot(dfa)), "model": fsa2obj(dfa)}
    if graphKey:
        obj = obj[graphKey]["graph"]

    return JSONEncoder().encode(obj)

Example #3

File: server.py Project: tml/osteele.com

def createContent(pattern, graphKey=None):
    import FSA
    import reCompiler
    from rematch import parseDot, fsa2dot, fsa2obj
    from encoder import JSONEncoder

    obj = {}
    obj['pattern'] = pattern
    fsa = reCompiler.compileRE(pattern, minimize=0, recordSourcePositions=1)
    # withoutEpsilons doesn't preserve metadata, so capture it in the
    # dfa first
    dfa = fsa.minimized()
    fsa = fsa.withoutEpsilons()
    obj['nfa'] = {'graph': parseDot(fsa2dot(fsa)), 'model': fsa2obj(fsa)}
    obj['dfa'] = {'graph': parseDot(fsa2dot(dfa)), 'model': fsa2obj(dfa)}
    if graphKey:
        obj = obj[graphKey]['graph']

    return JSONEncoder().encode(obj)

Example #4

File: re2dotgraph.py Project: 7h3rAm/re2dotgraph

def getDotString():
    global regex, graphfile, dotstring

    print
    print "[+] Generating dot string ..."
    fsa4re = recompiler.compileRE(regex).determinized().minimized().trimmed().sorted()

    print "[+] Label: %s" % (fsa4re.label)
    print "[+] states: %s" % (fsa4re.states)
    print "[+] states count: %d" % (len(fsa4re.states))
    print "[+] initialState: %s" % (fsa4re.initialState)
    print "[+] finalStates: %s" % (fsa4re.finalStates)
    print "[+] alphabet: %s" % (fsa4re.alphabet)
    print "[+] transitions:"

    for transition in fsa4re.transitions:
        print "\t%s" % (str(transition))

    dotstring = fsa4re.toDotString()
    print

Example #5

File: generate_c_fsm.py Project: acama/doar-e.github.io

import reCompiler
import random

c = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!"#$%&()*+,-./:;<=>?@[\\]^_`{|}~ \t\n\r\x0b\x0c'

fsm = reCompiler.compileRE('Hi-[0-9][0-9][0-9][0-9]', minimize = 1)
states = fsm.states
transitions = fsm.transitions

useless_states = [random.randint(0, 0xffffffff) for _ in range(random.randint(50, 100))]
states += useless_states

# We don't want to have dead nodes, so let's create transition
deadnodes = set(useless_states)
while len(deadnodes) != 0:
    s, d, t = random.choice(states), random.choice(states), random.choice(c)
    transitions += [(s, d, t)]
    deadnodes -= set([s])

# To obfuscate we can use random state number
dic_states = dict(
    (i, random.randint(0, 0xffffffff)) for i in states
)

random.shuffle(states)
assert(len(dic_states.values()) == len(set(dic_states.values())))

print 'unsigned char checkinput(char *p){\nunsigned int state = %d;\nwhile(*p)\n{\nswitch(state)\n{' % dic_states[fsm.initialState]

for i in states:
    if i in fsm.finalStates:

Example #6

File: fsm_test.py Project: prarobo/cps_multi_agent

'''
Created on Nov 11, 2014

@author: prasanna
'''
import FSA
from reCompiler import compileRE

if __name__ == '__main__':
    myFSA = compileRE('a(b|c*)')
    myFSA.view()
    
#     states = ['r1','r2']
#     alphabet = ['a','b']
#     transitions = [[]]

Example #7

File: fsm_test.py Project: wuyou33/cps_multi_agent

'''
Created on Nov 11, 2014

@author: prasanna
'''
import FSA
from reCompiler import compileRE

if __name__ == '__main__':
    myFSA = compileRE('a(b|c*)')
    myFSA.view()

#     states = ['r1','r2']
#     alphabet = ['a','b']
#     transitions = [[]]

Example #8

File: generate_c_fsm.py Project: modulexcite/bak.doar-e.github.io

import reCompiler
import random

c = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!"#$%&()*+,-./:;<=>?@[\\]^_`{|}~ \t\n\r\x0b\x0c'

fsm = reCompiler.compileRE('Hi-[0-9][0-9][0-9][0-9]', minimize=1)
states = fsm.states
transitions = fsm.transitions

useless_states = [
    random.randint(0, 0xffffffff) for _ in range(random.randint(50, 100))
]
states += useless_states

# We don't want to have dead nodes, so let's create transition
deadnodes = set(useless_states)
while len(deadnodes) != 0:
    s, d, t = random.choice(states), random.choice(states), random.choice(c)
    transitions += [(s, d, t)]
    deadnodes -= set([s])

# To obfuscate we can use random state number
dic_states = dict((i, random.randint(0, 0xffffffff)) for i in states)

random.shuffle(states)
assert (len(dic_states.values()) == len(set(dic_states.values())))

print 'unsigned char checkinput(char *p){\nunsigned int state = %d;\nwhile(*p)\n{\nswitch(state)\n{' % dic_states[
    fsm.initialState]

for i in states: