View source
repair
  • Contributors
    1. Loading...
  • Author Commit Message Date Builds
    37 commits behind master.
    Aaron Gember-Jacobson
    Do not fail parsing if configs contain unrecognized lines (to match Batfish's default behavior)
    Aaron Gember-Jacobson
    Fixes to ARC to work with newer version of Batfish (and jgrapht)
    Aaron Gember-Jacobson
    Updated batfish to be version following pull request completion
    Aaron Gember-Jacobson
    Script for asssembling monthly stamp snapshots
    Aaron Gember-Jacobson
    Bump to newer version of Batfish
    Aaron Gember-Jacobson
    Upgrade to newer version of ANTLR
    Aaron Gember-Jacobson
    Make ARC work with changes to Prefix in Batfish
    Aaron Gember-Jacobson
    Updates to scripts to allow bulk checking of Minesweeper policies
    Aaron Gember-Jacobson
    Finished code to convert Minesweepr policies to ARC policies
    Aaron Gember-Jacobson
    Started to implement converstion from Minesweeper to ARC policies
    Aaron Gember-Jacobson
    Avoid generating Minesweeper policies for same src/dst device
    Aaron Gember-Jacobson
    Updated Minesweeper generation to be based on interfaces
    Aaron Gember-Jacobson
    Updates to Minesweeper-related code and scripts
    Aaron Gember-Jacobson
    Updates to generating policies for Minesweeper to check
    Aaron Gember-Jacobson
    Updated anonymization cleaner
    Aaron Gember-Jacobson
    Integrate clean-up changes to Batfish
    Aaron Gember-Jacobson
    Refer to arc branch of batfish repo
    Aaron Gember-Jacobson
    Fixed flow count null pointer bug
    Aaron Gember-Jacobson
    Upgrade to newer version of Batfish
    Aaron Gember-Jacobson
    Fix typo
    Aaron Gember-Jacobson
    Added support for generating a list of Minesweeper policies to check
    Aaron Gember-Jacobson
    Use batfish fork in common org
    Aaron Gember-Jacobson
    Updated graphs
    Aaron Gember-Jacobson
    CPR eval counts
    Aaron Gember-Jacobson
    Graphs for SOSP camera ready
    Ruchit Shrestha
    Localization Evaluation Framework and results
    Aaron Gember-Jacobson
    Added support for primary path to fattree
    Aaron Gember-Jacobson
    Updates to fattree settings output and generation script
    Aaron Gember-Jacobson
    Updates to graphs
    Aaron Gember-Jacobson
    More policy and violation stats
    Aaron Gember-Jacobson
    Fix couting of policies by type
    Aaron Gember-Jacobson
    Update to time graph
    Aaron Gember-Jacobson
    New plots for fattree
    Aaron Gember-Jacobson
    Fixed test case to reflect method signature change
    Aaron Gember-Jacobson
    Change when filtering of external groups happens to replicate SOSP-submission behavior
    Aaron Gember-Jacobson
    Log additional settings
    Aaron Gember-Jacobson
    Fixed computation of non-overlapping policy groups so internal qualifiers are not lost
    Aaron Gember-Jacobson
    Fix symlink ordering for dated configs
    Aaron Gember-Jacobson
    Compute number of inter-pod flows when generating fattree configs
    Aaron Gember-Jacobson
    Updates to plots
    Aaron Gember-Jacobson
    Fix handling of static routes in MaxSMT formulation
    Aaron Gember-Jacobson
    Prune static routes that don't apply to any policy group
    Aaron Gember-Jacobson
    Generate graphviz for dETGs, if requested
    Aaron Gember-Jacobson
    Generate dETGs when checking policies
    Aaron Gember-Jacobson
    Bug fix in analysis script
    Aaron Gember-Jacobson
    Updated analysis scripts
    Aaron Gember-Jacobson
    Fix parsing issues
    Aaron Gember-Jacobson
    More fixes to bulk script
    Aaron Gember-Jacobson
    Fixed scripts to kill java process when killed by bulk script
    Aaron Gember-Jacobson
    Scripts for saving only blocked or only reachable policies
    Aaron Gember-Jacobson
    Added more statistics output when checking policies
    Aaron Gember-Jacobson
    Updated fattree bulk script to handle policy variations
    Aaron Gember-Jacobson
    Code clean-up; option to add ACLs to agg switches
    Aaron Gember-Jacobson
    Partial grammar for Cisco CSM module
    Aaron Gember-Jacobson
    Handle GMPLS interfaces; upgrade Batfish to include parsing fixes
    Aaron Gember-Jacobson
    Label start and end of policy groups output
    Aaron Gember-Jacobson
    Handle case differences in interface descriptions
    Aaron Gember-Jacobson
    Demarcation of verifier and policy results in log output
    Aaron Gember-Jacobson
    New options in bulk script; new auto-link pattern for nextpolicies.obj
    Aaron Gember-Jacobson
    Fixed BGP neighbor bug; integrate Batfish fixes
    Ruchit Shrestha
    Refactoring StanzaBuilder.java in repair
    Aaron Gember-Jacobson
    Integrate batfish fix
    Aaron Gember-Jacobson
    Switch back to INFO as default log level
    Aaron Gember-Jacobson
    Do not die on red flag from Batfish
    Aaron Gember-Jacobson
    Fixed BGP neighbor bug; include batfish fix
    Aaron Gember-Jacobson
    Add ability to include waypoints in fattrees
    Aaron Gember-Jacobson
    Fixed waypoint repair
    Aaron Gember-Jacobson
    Fixed waypoint policy verification
    Aaron Gember-Jacobson
    Reformulated waypoint constraints
    Aaron Gember-Jacobson
    Fixed default repair settings
    Aaron Gember-Jacobson
    Remove deprecated -noprune argument from scripts
    Aaron Gember-Jacobson
    Change location of repair mods file
    Aaron Gember-Jacobson
    Fix null pointer exception
    Aaron Gember-Jacobson
    Added always traverse waypoint verifier
    Aaron Gember-Jacobson
    Marked waypoint edges in ProcessGraph; remove prune setting
    Aaron Gember-Jacobson
    Fixed bug in EtgTasks
    Aaron Gember-Jacobson
    Waypoint edges are marked in device graph
    Aaron Gember-Jacobson
    Clean-up some settings; add waypoints setting
    Aaron Gember-Jacobson
    Fixed generation of fattree with BGP so ARC doesn't crash
    Aaron Gember-Jacobson
    Provide better counter examples for primary path
    Aaron Gember-Jacobson
    Add project files for fattree
    Aaron Gember-Jacobson
    Added script to only save primary path policies
    Aaron Gember-Jacobson
    Clean-up and partial fixing of fattree BGP code
    Aaron Gember-Jacobson
    Compute edge weight changes from repairs
    Aaron Gember-Jacobson
    Refactored constraints to compute costs
    Aaron Gember-Jacobson
    Added ability to save and check primary path policies
    Aaron Gember-Jacobson
    Attempt to reformulate always reachable constraints
    Franklin van Nes
    Error output spacing.
    Franklin van Nes
    Small code corrections.
    Franklin van Nes
    Error reporting system in place.
    Franklin van Nes
    Index corrections. BGP routing inserts advertising line.
    Franklin van Nes
    Bug Fix: Config.refresh() wasn't parsing for new tokens.
    Franklin van Nes
    Changed ConfigInsert storage and writing for higher reliability.
    Franklin van Nes
    More ACL work. Passing on all available tests.
    Franklin van Nes
    Duplicates to extended ACL
    Franklin van Nes
    Fixed incorrect snippet
    Franklin van Nes
    Disable ACL generates a permit src -> dest ACL when 'deny all' is implicity enabled.
    Franklin van Nes
    SOURCE->DESTINATION handler for enable ACL
    Franklin van Nes
    Bug fix: was writing to configs and not reassigning stanza references. Insert indices were therefore misaligned. Fixed by reducing the amount of writing to configs in the middle of the enableACL function.
    Franklin van Nes
    Enable ACL can now handle outgoing (edge destination is DESTINATION) traffic.
    Franklin van Nes
    Merge remote-tracking branch 'origin/repair' into repair
    Franklin van Nes
    Improved disableACL
    Aaron Gember-Jacobson
    Alternative formulation of reachable cardinality constraint
    Aaron Gember-Jacobson
    Fixed cardinality constraint in always reachable constraints; Upgraded z3
    Franklin van Nes
    ACL and routing improvements.
    Franklin van Nes
    Config.refresh() improves on write to config, because Configs parse on new parse tree with each refresh.
    Franklin van Nes
    Improved logging directory structure for translate.
    Aaron Gember-Jacobson
    Fix issue #17
    Aaron Gember-Jacobson
    Work-around for tooString bug in Z3
    Aaron Gember-Jacobson
    Checkpolicies and repair scripts automatically try to symlink policies
    Aaron Gember-Jacobson
    Relax downstream edge constraints for reachable to at least (instead of exactly) one
    Aaron Gember-Jacobson
    Log edge modifications at INFO level
    Franklin van Nes
    Simplified ACL editor
    Franklin van Nes
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Aaron Gember-Jacobson
    Partial fixes to handling of static routes in repairs
    Aaron Gember-Jacobson
    Code for debugging always reachable repairs
    Aaron Gember-Jacobson
    Make repair work in Mac OS
    Aaron Gember-Jacobson
    Upgrade Z3 version to latest master
    Franklin van Nes
    Corrected extended ACL order of source and destination.
    Franklin van Nes
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Franklin van Nes
    repair_modifications.obj now stored in output dir
    Aaron Gember-Jacobson
    Added new repair example with redistribution and static routes
    Franklin van Nes
    Merge remote-tracking branch 'origin/repair' into repair # Conflicts: # projects/arc/scripts/autocomplete.sh
    Aaron Gember-Jacobson
    Updated autocomplete script to include all scripts
    Franklin van Nes
    Modification Serializing. Separation of repair from translate
    Aaron Gember-Jacobson
    Fixed bug in always reachable MaxSMT constraints
    Aaron Gember-Jacobson
    Added tab complete for config paths
    Aaron Gember-Jacobson
    Simple redistribute repair example
    Franklin van Nes
    Automatic export of repaired configuration files.
    Franklin van Nes
    Corrected redistribution snippets dependent on protocol type.
    Franklin van Nes
    Bug Fix: ConfigInserts were being written to configs in random order, when they should have been applied in reverse order of their insert idx.
    Franklin van Nes
    Initial route redistribution modification enabler/disabler
    Franklin van Nes
    Bug fix: Switched routing snippet network mask to network prefix.
    Franklin van Nes
    Improved Edge matching. Static route next hop now points to router instead of subnet.
    Franklin van Nes
    Disable Static Route
    Franklin van Nes
    Enable Static Route
    Franklin van Nes
    Interface access-group modifier.
    Franklin van Nes
    Remove ACL works. toStrings and logger changes
    Franklin van Nes
    Merge remote-tracking branch 'origin/repair' into repair
    Franklin van Nes
    Switched to a more costly writing framework (on demand writing, instead of collecting inserts and writing at the end) to ensure config writing accuracy across multiple edits.
    Aaron Gember-Jacobson
    Fixed bug in SMT repair when dealing with blocked edges
    Aaron Gember-Jacobson
    Script to analyze usage of BGP communities
    Aaron Gember-Jacobson
    Updated analysis scripts
    Franklin van Nes
    Fixed new extended ACL generator to ensure the name > 100
    Franklin van Nes
    Fixed null pointer errors thrown on repair. Started static rout editor
    Aaron Gember-Jacobson
    Added new repair examples
    Franklin van Nes
    Logger is now a Singleton object
    Franklin van Nes
    Enable ACL now works for when source is SOURCE i.e. not another router, but a network.
    Franklin van Nes
    New CLA to write repairs to config files.
    Franklin van Nes
    Routing Editor can enable and disable routing.
    Franklin van Nes
    Bug fix: 'deny' was outputted instead of 'permit', visa versa
    Franklin van Nes
    ConfigWriter disableACL implemented. GraphConfigModificationPair is now Modification Pair.
    Franklin van Nes
    Changed ACL insert ordering. Enable ACL repair working for single network ospf.
    Franklin van Nes
    Recognizes the need for a new ACL and build one if necessary.
    Franklin van Nes
    Merge fixed
    Franklin van Nes
    ConfigWriter milestone
    Ahsan Mahmood
    Manually merged and cleaned up some more
    Ahsan Mahmood
    * Cleaned up Mutation Operator * Possibly need to update verifyResult in GeneProg
    Ahsan Mahmood
    * Implemented functionality to use repair lines - tested with simple example * Added new option in setting to retreive repair lines file * Updated Mutation Operators to use this file
    Ahsan Mahmood
    * Implemented multi host mutations - needs testing
    Ruchit Shrestha
    Standard and extended acls for localization
    Ruchit Shrestha
    Added standard and extended access lists as localization candidates
    Franklin van Nes
    GraphCofigModPair carries PolicyGraph info. If an ACL exists for a tcMod, CPR changes the action type (permit|deny).
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    * Started working on multi host fixes * Added a new Mutation constructor
    Franklin van Nes
    Can build configs from modification snippets.
    Franklin van Nes
    Merge remote-tracking branch 'origin/repair' into repair
    Franklin van Nes
    Switch from ConfigModification to GraphConfigModificationPair. Beginning work on ACL Editor
    Aaron Gember-Jacobson
    Switch from Set of PolicyGroups to List of PolicyGroups
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    * Added new option in Settings for GeneProg (-genrepair) * -tokenstats now only computes stats * Updated Mutation operator to internaly hold a host-independent map of interface types to statements
    Franklin van Nes
    Moved from printing to logging.
    Franklin van Nes
    Cisco IOS writer used in Driver
    Franklin van Nes
    Configuration writing framework in place. configwriters package created to store router manufacturer specific config writers.
    Franklin van Nes
    ConfigAdapter prototyping
    Franklin van Nes
    Merge remote-tracking branch 'origin/repair' into repair
    Franklin van Nes
    Config modification string prescriptions complete.
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    Added script to analyze tokenstat logs
    Franklin van Nes
    Merge remote-tracking branch 'origin/repair' into repair
    Franklin van Nes
    Bug Fix: ADD edge Graph modifications are only created if a new edge didn't exist in the original edge. Previously, the ADD graph mod was created if the original edge was blocked, thus the graph mods always destroyed ACL blocks.
    Ahsan Mahmood
    Small fixes
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    Added new update population method that uses fitness probabilities to select individuals
    Franklin van Nes
    Configuration modification generation. Removed Duplicate file.
    Ahsan Mahmood
    Manual merge - need to update batfish
    Ruchit Shrestha
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ruchit Shrestha
    test scripts to evaluate localization
    Ahsan Mahmood
    Added selection probability - needs testing
    Franklin van Nes
    Printed recommendations for converting GraphMod to ConfigMod.
    Franklin van Nes
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Franklin van Nes
    GraphModification primary filtering. Changed GraphModifier getModifications return type.
    Ruchit Shrestha
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ruchit Shrestha
    Modified StanzaBuilder to include more information for localization
    Ruchit Shrestha
    Removed an extraneous null check
    Aaron Gember-Jacobson
    Revert downgrade of Batfish This reverts commit a4babbbc6657100c6ea609f40e32cd1bbdcb9e1a.
    Lindsey Derbyshire
    modified batfish
    Aaron Gember-Jacobson
    Use newer version of Batfish with parsing fixes
    Lindsey Derbyshire
    new broken config
    Lindsey Derbyshire
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Lindsey Derbyshire
    edited population generation
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    Updated TokenStats to analyze statements
    Ruchit Shrestha
    Modified localization
    Ruchit Shrestha
    Added new localization method:added option -localize [smart/simple]
    Ruchit Shrestha
    Added new localization method:added option -localize [smart/simple]
    Ahsan Mahmood
    Fixed small bug in deletion
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    Minor cleanup
    Aaron Gember-Jacobson
    Fixed bug in device graph construction by subnet for shutdown ifaces; added iface shutdown repair example
    Aaron Gember-Jacobson
    Fixed bug in repair argument passing
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ahsan Mahmood
    * GeneProg now only generates ETGs for flows that are violated * Potential correct mutants are first verified against all policies before being accepted as the final mutation * Refactored ETG Tasks to allow specific flows to be generated * GeneProg Tasks now makes use of updated ETG functions
    Aaron Gember-Jacobson
    Allow specifying list of networks in bulk script
    Ruchit Shrestha
    LocLine output fixed
    Ruchit Shrestha
    Setting up Geneprog for multiple localization methods
    Aaron Gember-Jacobson
    Fixed bug with common_postamble so graph render
    Aaron Gember-Jacobson
    Repair example for single-ospf with ACL removed
    Ruchit Shrestha
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Ruchit Shrestha
    Fixed batfish parsing interface
    Aaron Gember-Jacobson
    Improved handling of interfaces
    Aaron Gember-Jacobson
    Sort policy groups
    Ahsan Mahmood
    Merged
    Aaron Gember-Jacobson
    Fix compile error
    Aaron Gember-Jacobson
    Revert to original policy log name for diff'ing snapshots' policies
    Aaron Gember-Jacobson
    Leave one processor idle when running GeneProg in parallel
    Ahsan Mahmood
    * Rewrote functions in Tokenizer * Refactored GeneProg
    Lindsey Derbyshire
    updated config simplifier
    Aaron Gember-Jacobson
    Provided more output when config format is unknown
    Aaron Gember-Jacobson
    Updated config/policy diff'ing scripts to work with new output format and symlink with relative paths
    Ahsan Mahmood
    Minor fixes to GeneProg
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Aaron Gember-Jacobson
    Fixed localization bugs
    Ruchit Shrestha
    Scripts for localizing
    Aaron Gember-Jacobson
    No more new configs everywhere
    Aaron Gember-Jacobson
    Output violated policies when using checkpolicies; avoid some config reparsing and policy rechecking
    Aaron Gember-Jacobson
    Added repair example
    Ruchit Shrestha
    Batfish Upgrade && Config
    Aaron Gember-Jacobson
    Remove testGVs that don't match current single_ospf configs
    Ahsan Mahmood
    Updated GeneProg scripts
    Ahsan Mahmood
    Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
    Aaron Gember-Jacobson
    Fixed exclusion of dirs containing file in bulk