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
Ahsan Mahmood
Refactored GeneProg and used proper thread shutdown methods
Ahsan Mahmood
Merge branch 'repair' of https://bitbucket.org/uw-madison-networking-research/arc into repair
Ruchit Shrestha
Updated batfish
Aaron Gember-Jacobson
Extended anonymization for configs; add simplify script
Ruchit Shrestha
Evaluate Localize scripts added
Ruchit Shrestha
Added functionality to test fault localization
Aaron Gember-Jacobson
Fixed handling of IP wildcards in Flow isBlocked
Ahsan Mahmood
Properly working single_ospf configs
360 commits not shown.