Examples of dk.brics.automaton.Automaton

dk.brics.automaton.Automaton
Finite-state automaton with regular expression operations.
Class invariants:
- An automaton is either represented explicitly (with {@link State} and {@link Transition} objects)or with a singleton string (see {@link #getSingleton()} and {@link #expandSingleton()}) in case the automaton is known to accept exactly one string. (Implicitly, all states and transitions of an automaton are reachable from its initial state.)
- Automata are always reduced (see {@link #reduce()}) and have no transitions to dead states (see {@link #removeDeadTransitions()}).
- If an automaton is nondeterministic, then {@link #isDeterministic()} returns false (butthe converse is not required).
- Automata provided as input to operations are generally assumed to be disjoint.
If the states or transitions are manipulated manually, the {@link #restoreInvariant()}and {@link #setDeterministic(boolean)} methods should be used afterwards to restore representation invariants that are assumed by the built-in automata operations. @author Anders Møller <amoeller@cs.au.dk>

     *            as the {@link WebApp} to analyze
     * @return the {@link Automaton} representing the {@link URLPattern} of the
     *         {@link WebApp}
     */
    private Automaton getURLPatternAutomaton(Class<? extends WebApp> webAppClass) {
        Automaton automaton = urlPatternAutomatons.get(webAppClass);
        if (automaton == null) {
            automaton = constructURLPatternAutomaton(webAppClass);
            urlPatternAutomatons.put(webAppClass, automaton);
        }
        return automaton;

View Full Code Here

     *            as the WebMethod to analyze
     * @return the {@link Automaton} representing the {@link URLPattern} of the
     *         WebMethod
     */
    private Automaton getURLPatternAutomaton(Method method) {
        Automaton automaton = urlPatternAutomatons.get(method);
        if (automaton == null) {
            automaton = constructURLPatternAutomaton(method);
            urlPatternAutomatons.put(method, automaton);
        }
        return automaton;

View Full Code Here

     *            as the WebMethod to extract an URL from.
     * @return the corresponding {@link FilterGroup}
     */
    public FilterGroup getFilterGroup(Method webMethod) {
        Set<Method> urlPatternMatches = new HashSet<Method>();
        @SuppressWarnings("unchecked")
        Automaton prefixedURLPattern = concatenateWithSlash(
                getURLPatternAutomaton((Class<? extends WebApp>) webMethod
                        .getDeclaringClass()),
                getURLPatternAutomaton(webMethod));
        // for each webmethod in the webapps, check if it could be hit by the
        // possible url patterns
        for (Entry<Class<? extends WebApp>, RequestManager> entry : managers
                .entrySet()) {
            for (RegisteredMethod registeredMethod : entry.getValue()
                    .getWebMethods()) {
                final Method possibleTargetedMethod = registeredMethod
                        .getMethod();
                if (!webMethod.equals(possibleTargetedMethod)) {
                    Automaton prefixedPossibleTarget = concatenateWithSlash(
                            getURLPatternAutomaton(entry.getKey()),
                            getURLPatternAutomaton(possibleTargetedMethod));
                    final boolean intersects = !prefixedURLPattern
                            .intersection(prefixedPossibleTarget).isEmpty();
                    if (intersects)

View Full Code Here

        Integer index = MakeURLSignatureHandler.getMakeURLSignatures().get(
                expr.getMethod().getSignature());
        index = index == null ? -1 : index;


        ValueBox valueBox = expr.getArgBox(index);
        Automaton possibleValues;
        try {
            possibleValues = analysis.getAutomaton(valueBox);
        } catch (IllegalArgumentException e) {
            log.error(e.getMessage() + " \"" + expr.toString() + "\"");
            possibleValues = Automaton.makeEmpty();

View Full Code Here

     *            as the expression containing {@link XML#plug(String, Object)}
     * @return the automaton representing the possible names
     */
    public Automaton getPossibleGapNameValuesofXMLPlug(InvokeExpr expr) {
        ValueBox valueBox = expr.getArgBox(0);
        Automaton possibleValues = analysis.getAutomaton(valueBox);


        String methodNames = getReadableLanguage(possibleValues);
        SootMethod plug = expr.getMethod();


        log.debug(plug.getName() + " called from " + expr.getMethod().getName()

View Full Code Here

    private void linkMakeURL(StateMachine stateMachine, InvokeExpr expr,
            MyStringAnalysis analysis, Interface interfacee) {


        SootMethod makeURLMethod = expr.getMethod();


        Automaton possibleValues = analysis
                .getPossibleNameValuesOfMakeURLInvocation(expr);


        MethodStatementContainer container = stateMachine
                .getMakeURLLocation(expr);
        SootMethod enclosingMethod = container.getMethod();

View Full Code Here

                    makeURLstatement, targetedWebApp,
                    possibleWebMethodNamesAutomaton));
        } else {
            // check if the makeURL can hit more names than we have available: a
            // possible error
            Automaton possibleMethodNames = findMatcher(webMethodsByName);
            Automaton slack = possibleWebMethodNamesAutomaton
                    .minus(possibleMethodNames);
            final boolean hasSlack = !slack.isEmpty();
            if (hasSlack) {
                Feedbacks.add(new MayHitMoreUnexistingWebMethods(
                        makeURLEnclosingMethod, makeURLstatement, slack));
            }
        }

View Full Code Here

     * webmethods
     * 
     * @return the constructed {@link Automaton}
     */
    private Automaton findMatcher(Collection<Method> methods) {
        Automaton a = Automaton.makeEmpty();
        for (Method m : methods) {
            String name = m.getName();
            a = a.union(Automaton.makeString(name));
        }
        a.determinize();
        a.minimize();
        return a;
    }

View Full Code Here

  /**
   * Builds the transition table data.
   */
  public void build() {
    RegExp regexp = new RegExp(this.expression);
    Automaton automata = regexp.toAutomaton(true);
    numOfStates = automata.getNumberOfStates();
    //System.out.println("Number of states " + numOfStates);
    
    State[] states = new State[numOfStates];
    automata.getStates().toArray(states);
    
    //Get Accepting states and starting state
    this.startingState = indexOf(automata.getInitialState(), states);
    this.buildAcceptingStates(states);
    
    //initialize the transition table
    this.transitionTable = new int[this.alphabetSize][numOfStates][numOfStates];

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of dk.brics.automaton.Automaton

bgu.bio.ds.automata.TransitionTable

com.google.gerrit.server.project.SectionMatcher$ExpandParameters

com.google.gerrit.server.query.change.RegexFilePredicate

dk.brics.jwig.analysis.jaive.Interface

dk.brics.jwig.analysis.jaive.InterfaceInvocationLinker

dk.brics.jwig.analysis.jaive.InvocationDetector

dk.brics.jwig.analysis.jaive.MyStringAnalysis

dk.brics.jwig.analysis.jaive.URLPatternToAutomatonConverter

dk.brics.string.AnalyzeRuntime

dk.brics.string.annotation.AnnotationAnalyzer

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.