Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Polyglot repair of configuration drifts in IaC scripts #49

Merged
merged 63 commits into from
Mar 19, 2024
Merged

Polyglot repair of configuration drifts in IaC scripts #49

merged 63 commits into from
Mar 19, 2024

Conversation

Nfsaavedra
Copy link
Member

  • Support for Ansible and Puppet
  • Support for atomic units of type file
  • Support conditional statements

@Nfsaavedra
WIP: strace wrapper. start strace parser
f773dd9
@Nfsaavedra
WIP: strace parser
99db191
@Nfsaavedra
refactor strace parser. extract strace model
bf45ee9
@Nfsaavedra
support parsing function calls and dictionaries
5320b8d
@Nfsaavedra
create package tracer. add support for more syscalls. get affected pa…
68f8c1a 
…ths.
@Nfsaavedra
change paths to absolute paths
f3798d2
@Nfsaavedra
handle chdir
1892253
@Nfsaavedra
get file system state from affected files
693fa2f
@Nfsaavedra
delta P model
1207526
@Nfsaavedra
compile to delta P model prototype
f436206
@Nfsaavedra
delta P to filesystem
84c2d4a
@Nfsaavedra
Labeler and use lets for handling attributes
ad6fd13
@Nfsaavedra
Implement first version of soft and hard constraints
b54232a
@Nfsaavedra
refactor to allow branching
ae0bb6f
@Nfsaavedra
WIP
d7b93b5
@Nfsaavedra
prototype that generates the constraints correctly
e63f92a
@Nfsaavedra
small refactor
5f3a430
@Nfsaavedra
add sketched variables and black
df35576
@Nfsaavedra
fix sketched attribute
3c6d0e2
@Nfsaavedra
Implement let and if in to_filesystem
455f3c2
@Nfsaavedra
small fix
7ce3d1d
@Nfsaavedra
fix getting paths in name of atomic unit
acf71a4
@Nfsaavedra
support variables as values in to_filesystem
0afa245
@Nfsaavedra
support file state
578d9db
@Nfsaavedra
apply patch
47a2582
@Nfsaavedra
fix hard constraints for mode and owner
1c1ae17
@Nfsaavedra
allow owner, mode and content to be sketched
4d5c22c
@Nfsaavedra
remove attributes
8553d5e
@Nfsaavedra
support repair in Ansible
c4eee4b
@Nfsaavedra
support touch state
958a4b7
@Nfsaavedra
fix test
d086330
@Nfsaavedra
fix non-unique sketch attributes
14d230b
@Nfsaavedra
parse ifs in Puppet
b955402
@Nfsaavedra
add if branching
8c12516
@Nfsaavedra
small fix
5069b4d
@Nfsaavedra
transform deltap in multiple filesystems when if conditions have unkn…
1bce15c 
…own values
@Nfsaavedra
fix problem with atomic units without state defined
41b7e5e
@Nfsaavedra
fix problem with names not being translated back to their original te…
0d5dd06 
…chnology
@Nfsaavedra
fix atomic units not being found
b4f1372
@Nfsaavedra
allow to pass context to solver
3e7a98d
@Nfsaavedra
hack
b09e518
@Nfsaavedra
add timeout
42435dc
@Nfsaavedra
allow to change timeout
d9501f1
@Nfsaavedra
small fix
a2d1139
@Nfsaavedra
fix conditionals
d877c04
@Nfsaavedra
fix timeout
b29bb35
@Nfsaavedra
fix missing conditions
5d5876f
@Nfsaavedra
test remove condition
3d34ced
@Nfsaavedra
remove conditions from if
5f8f454
@Nfsaavedra
small fix on reverse_attr_name
3fddba5
@Nfsaavedra
add alias to path in Ansible
7f98b72
@Nfsaavedra
Merge branch 'main' into interactive_repair
60f1747
@Nfsaavedra
fix conditional statement name change
1750b12
Nfsaavedra
Nfsaavedra commented Mar 18, 2024
View reviewed changes
glitch/parsers/cmof.py Outdated Show resolved Hide resolved
glitch/repair/interactive/compiler/compiler.py Outdated Show resolved Hide resolved
glitch/repair/interactive/compiler/names_database.py Show resolved Hide resolved
glitch/repair/interactive/compiler/labeler.py Outdated Show resolved Hide resolved
glitch/repair/interactive/compiler/labeler.py Outdated Show resolved Hide resolved
glitch/repair/interactive/delta_p.py Outdated Show resolved Hide resolved
glitch/repair/interactive/solver.py
Comment on lines +87 to +92
def __get_default_fs(self):
# Returns the current file system state for all the files affected by the script
# TODO: For now we will consider only the files defined in the script
fs = self.statement.to_filesystems()
affected_files = fs.state.keys()
return get_file_system_state(affected_files)
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe fix?

glitch/repair/interactive/tracer/tracer.py Outdated Show resolved Hide resolved
glitch/repair/interactive/tracer/transform.py Outdated Show resolved Hide resolved
glitch/repair/interactive/tracer/transform.py Outdated Show resolved Hide resolved
@Nfsaavedra Nfsaavedra merged commit a4e404b into main Mar 19, 2024
1 check passed
@Nfsaavedra Nfsaavedra deleted the interactive_repair branch April 19, 2024 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Nfsaavedra