diff --git a/setup.py b/setup.py index ebde537..c759a30 100644 --- a/setup.py +++ b/setup.py @@ -83,7 +83,26 @@ def _download_cudd(self): # Unzip Cudd with tarfile.open(cudd_zip_path) as tar_file: - tar_file.extractall() + def is_within_directory(directory, target): + + abs_directory = os.path.abspath(directory) + abs_target = os.path.abspath(target) + + prefix = os.path.commonprefix([abs_directory, abs_target]) + + return prefix == abs_directory + + def safe_extract(tar, path=".", members=None, *, numeric_owner=False): + + for member in tar.getmembers(): + member_path = os.path.join(path, member.name) + if not is_within_directory(path, member_path): + raise Exception("Attempted Path Traversal in Tar File") + + tar.extractall(path, members, numeric_owner=numeric_owner) + + + safe_extract(tar_file) os.remove(cudd_zip_path)