Merge branch 'main' into issue-102-Simplify_branches_with_true_or_fal…

…se_conditions

__init__.py

@@ -1,4 +1,5 @@
 """Main plugin file registering plugin commands in bianryninja."""
+
 from logging import info, warning
 from os.path import dirname, realpath
 from sys import path

decompiler/backend/codegenerator.py

@@ -1,4 +1,5 @@
 """Module in charge of bundling all classes utilized to generate c-code from an AST."""
+
 from string import Template
 from typing import Iterable, List
 

decompiler/backend/variabledeclarations.py

@@ -1,4 +1,5 @@
 """Module containing the visitors used to generate variable declarations."""
+
 from collections import defaultdict
 from typing import Iterable, Iterator, List
 

decompiler/frontend/__init__.py

@@ -1,4 +1,5 @@
 """module for anything pipeline related."""
+
 from .binaryninja.frontend import BinaryninjaFrontend
 from .frontend import Frontend
 from .lifter import Lifter

decompiler/frontend/binaryninja/frontend.py

@@ -1,4 +1,5 @@
 """Class implementing the main binaryninja frontend interface."""
+
 from __future__ import annotations
 
 import logging

decompiler/frontend/binaryninja/handlers/__init__.py

@@ -1,4 +1,5 @@
 """Main module containing all binaryninja handlers."""
+
 from .assignments import AssignmentHandler
 from .binary import BinaryOperationHandler
 from .calls import CallHandler

decompiler/frontend/binaryninja/handlers/assignments.py

@@ -1,4 +1,5 @@
 """Module implementing the AssignmentHandler for binaryninja."""
+
 import logging
 from functools import partial
 

decompiler/frontend/binaryninja/handlers/binary.py

@@ -1,4 +1,5 @@
 """Module implementing the handler for binaryninja's binary operations."""
+
 from functools import partial
 
 from binaryninja import MediumLevelILInstruction, mediumlevelil

decompiler/frontend/binaryninja/handlers/calls.py

@@ -1,4 +1,5 @@
 """Module implementing the binaryninja CallHandler."""
+
 from functools import partial
 from typing import List
 

decompiler/frontend/binaryninja/handlers/conditions.py

@@ -1,4 +1,5 @@
 """Module implementing the ConditionHandler class."""
+
 from functools import partial
 
 from binaryninja import mediumlevelil

decompiler/frontend/binaryninja/handlers/constants.py

@@ -1,4 +1,5 @@
 """Module implementing the ConstantHandler for the binaryninja frontend."""
+
 import math
 
 from binaryninja import BinaryView, DataVariable, SectionSemantics, SymbolType, Type, mediumlevelil

decompiler/frontend/binaryninja/handlers/controlflow.py

@@ -1,4 +1,5 @@
 """Module implementing the ConditionHandler class."""
+
 from binaryninja import mediumlevelil
 from decompiler.frontend.lifter import Handler
 from decompiler.structures.pseudo import Branch, Condition, Constant, IndirectBranch, OperationType, Return

decompiler/frontend/binaryninja/handlers/globals.py

@@ -1,4 +1,5 @@
 """Module implementing the ConstantHandler for the binaryninja frontend."""
+
 from typing import Callable, Optional, Tuple, Union
 
 from binaryninja import BinaryView, DataVariable, Endianness, MediumLevelILInstruction, Type

decompiler/frontend/binaryninja/handlers/phi.py

@@ -1,4 +1,5 @@
 """Module implementing lifting of phi and memphi instructions."""
+
 from typing import List
 
 from binaryninja import MediumLevelILMemPhi, MediumLevelILVarPhi

decompiler/frontend/binaryninja/handlers/symbols.py

@@ -1,4 +1,5 @@
 """Module implementing lifting of binaryninja symbols."""
+
 from logging import warning
 from typing import Union
 

decompiler/frontend/binaryninja/handlers/unary.py

@@ -1,4 +1,5 @@
 """Module implementing the UnaryOperationHandler."""
+
 import logging
 from functools import partial
 from typing import Union

decompiler/frontend/binaryninja/handlers/variables.py

@@ -1,4 +1,5 @@
 """Module implementing variable lifting for the binaryninja observer lifer."""
+
 from typing import Optional
 
 from binaryninja import (

decompiler/frontend/binaryninja/lifter.py

@@ -1,4 +1,5 @@
 """Module implementing the BinaryNinjaLifter of the binaryninja frontend."""
+
 from logging import warning
 from typing import Optional, Tuple, Union
 

decompiler/frontend/binaryninja/parser.py

@@ -1,4 +1,5 @@
 """Implements the parser for the binaryninja frontend."""
+
 from logging import info, warning
 from typing import Dict, Iterator, List, Tuple
 

decompiler/frontend/binaryninja/tests.py

@@ -1,4 +1,5 @@
 """WIP test suite for binaryninja lifter."""
+
 from os import listdir
 from os.path import abspath, dirname, isfile, join, realpath
 from sys import path

decompiler/frontend/frontend.py

@@ -1,4 +1,5 @@
 """Module implementing the interface for different frontends."""
+
 from __future__ import annotations
 
 from abc import ABC, abstractmethod

decompiler/frontend/lifter.py

@@ -1,4 +1,5 @@
 """Interface for frontend lifters."""
+
 from abc import ABC, abstractmethod
 from typing import Callable, Dict, Type, TypeVar
 

decompiler/frontend/parser.py

@@ -1,4 +1,5 @@
 """Module defining the parser interface."""
+
 from abc import ABC, abstractmethod
 
 from decompiler.structures.graphs.cfg import ControlFlowGraph

decompiler/logger.py

@@ -1,4 +1,5 @@
 """Module in charge of logger initialization and settings."""
+
 import logging.config
 from typing import Optional
 

decompiler/pipeline/commons/livenessanalysis.py

@@ -1,4 +1,5 @@
 """Liveness Analysis due to Brandner et al. : Algorithms 4 (Compute liveness sets by exploring paths from variable uses"""
+
 from collections import defaultdict
 from typing import DefaultDict
 

decompiler/pipeline/controlflowanalysis/expression_simplification/constant_folding.py

@@ -17,7 +17,6 @@ class UnsupportedOperationType(Exception):
 
 
 class UnsupportedValueType(Exception):
-
     """Indicates that the value type of one constant is not supported."""
 
     pass

decompiler/pipeline/controlflowanalysis/readability_based_refinement.py

@@ -1,4 +1,5 @@
 """Module implementing various readability based refinements."""
+
 from __future__ import annotations
 
 from typing import Union

decompiler/pipeline/controlflowanalysis/restructuring.py

@@ -1,6 +1,7 @@
 """
 Module for pattern independent restructuring
 """
+
 from __future__ import annotations
 
 import logging

decompiler/pipeline/controlflowanalysis/restructuring_commons/ast_processor.py

@@ -1,4 +1,5 @@
 """Module for AST processing steps."""
+
 import logging
 from typing import Callable, Dict, Iterable, List, Optional, Set, Tuple, Union
 

decompiler/pipeline/controlflowanalysis/restructuring_commons/condition_based_refinement.py

@@ -1,6 +1,7 @@
 """
 Module for Condition Based Refinement
 """
+
 from itertools import combinations
 from typing import Iterator, List, Optional, Set, Tuple
 

decompiler/pipeline/controlflowanalysis/restructuring_commons/graphslice.py

@@ -1,4 +1,5 @@
 """Module to compute graph slices."""
+
 from __future__ import annotations
 
 from typing import Iterator, List, Set

decompiler/pipeline/controlflowanalysis/restructuring_commons/loop_structurer.py

@@ -1,4 +1,5 @@
 """Module to structure Loops"""
+
 from typing import Optional
 
 from decompiler.pipeline.controlflowanalysis.restructuring_commons.ast_processor import LoopProcessor

decompiler/pipeline/controlflowanalysis/restructuring_commons/region_finder/acyclic_region_finder.py

@@ -1,4 +1,5 @@
 """Module to find restructurable regions."""
+
 from __future__ import annotations
 
 from abc import abstractmethod

decompiler/pipeline/dataflowanalysis/array_access_detection.py

@@ -1,4 +1,5 @@
 """Module implementing detection of array element accesses"""
+
 import logging
 from collections import defaultdict
 from dataclasses import dataclass, field

decompiler/pipeline/dataflowanalysis/common_subexpression_elimination.py

@@ -1,4 +1,5 @@
 """Module implementing common subexpression elimination."""
+
 from __future__ import annotations
 
 from collections import defaultdict, deque

decompiler/pipeline/dataflowanalysis/dead_loop_elimination.py

@@ -1,4 +1,5 @@
 """Module implementing the DeadLoopElimination pipeline stage."""
+
 from logging import info, warning
 from typing import Dict, Generator, Optional, Tuple, Union
 

decompiler/pipeline/dataflowanalysis/dead_path_elimination.py

@@ -1,4 +1,5 @@
 """Module implementing the DeadPathElimination pipeline stage."""
+
 from logging import info, warning
 from typing import Iterator, Optional, Set, Union
 

decompiler/pipeline/dataflowanalysis/deadcodeelimination.py

@@ -1,4 +1,5 @@
 """Module implementing code elimination based on Hols et al."""
+
 from collections import defaultdict, namedtuple
 from typing import DefaultDict, Optional, Set
 

decompiler/pipeline/dataflowanalysis/identity_elimination.py

@@ -1,4 +1,5 @@
 """Module implementing a pipeline stage eliminating congruent variables."""
+
 from __future__ import annotations
 
 from collections import defaultdict, namedtuple

decompiler/pipeline/dataflowanalysis/type_propagation.py

@@ -1,4 +1,5 @@
 """Module implementing horizontal type propagation as a pipeline stage."""
+
 from __future__ import annotations
 
 from collections import Counter, defaultdict

decompiler/pipeline/expressions/deadcomponentpruner.py

@@ -1,4 +1,5 @@
 """Module implementing Dead code elimination based on ExpressionGraphs."""
+
 from typing import Iterator
 
 from decompiler.pipeline.stage import PipelineStage

decompiler/pipeline/expressions/edgepruner.py

@@ -1,4 +1,5 @@
 """Module implementing common subexpression elimination on ExpressionGraphs."""
+
 from typing import Iterator, List
 
 from decompiler.pipeline.stage import PipelineStage

decompiler/pipeline/pipeline.py

@@ -1,4 +1,5 @@
 """Module containing pipeline definitions for the decompiler."""
+
 from __future__ import annotations
 
 from logging import debug, error, warning

decompiler/pipeline/preprocessing/coherence.py

@@ -1,4 +1,5 @@
 """Module implementing frontend data harmonization."""
+
 from itertools import chain
 from logging import info
 from typing import Dict, Iterator, List

decompiler/pipeline/preprocessing/compiler_idiom_handling.py

@@ -1,4 +1,5 @@
 """Module for handling compiler idioms that have already been marked in BinaryNinja"""
+
 import logging
 from dataclasses import dataclass
 from typing import Iterable, List, Optional

decompiler/pipeline/preprocessing/missing_definitions.py

@@ -1,4 +1,5 @@
 """Module dedicated to insert definitions for otherwise definitionless values."""
+
 from collections import defaultdict
 from logging import error
 from typing import DefaultDict, Dict, List, Optional, Set, Tuple, Union

decompiler/pipeline/preprocessing/phi_predecessors.py

@@ -1,4 +1,5 @@
 """Module fixing the Control Glow Graph such that it contains all information we need for our analysis."""
+
 from typing import Dict, List, Optional
 
 from decompiler.pipeline.stage import PipelineStage

decompiler/pipeline/preprocessing/register_pair_handling.py

@@ -1,4 +1,5 @@
 """Module to handle Register pairs."""
+
 from __future__ import annotations
 
 from collections import namedtuple

decompiler/pipeline/preprocessing/remove_stack_canary.py

@@ -1,4 +1,5 @@
 """Module for removing ELF stack canaries."""
+
 from typing import Iterator
 
 from decompiler.pipeline.stage import PipelineStage

decompiler/pipeline/preprocessing/switch_variable_detection.py

@@ -1,4 +1,5 @@
 """Module for finding variable relevant to switch"""
+
 from typing import Optional
 
 from decompiler.pipeline.stage import PipelineStage

decompiler/pipeline/preprocessing/util.py

@@ -1,4 +1,5 @@
 """Helper functions for modules in the preprocessing pipeline."""
+
 from collections import defaultdict
 from typing import DefaultDict, Dict, Set, Tuple
 

decompiler/pipeline/ssa/outofssatranslation.py

@@ -1,4 +1,5 @@
 """Module implementing Out of SSA."""
+
 import logging
 from collections import defaultdict
 from configparser import NoOptionError

decompiler/pipeline/ssa/phi_cleaner.py

@@ -1,4 +1,5 @@
 """Module for removing unnecessary Phi-functions in Out of SSA."""
+
 from typing import Dict, Iterator, List
 
 from decompiler.pipeline.ssa.phi_dependency_graph import PhiDependencyGraph

decompiler/pipeline/ssa/phi_dependency_resolver.py

@@ -1,4 +1,5 @@
 """Module for removing circular dependency of Phi-functions in Out of SSA."""
+
 import logging
 from typing import Dict, List
 

decompiler/pipeline/ssa/phi_lifting.py

@@ -1,4 +1,5 @@
 """Module for removing Phi-functions by lifting in Out of SSA."""
+
 import logging
 from typing import DefaultDict, Iterator, List, Optional
 

decompiler/pipeline/ssa/variable_renaming.py

@@ -1,4 +1,5 @@
 """Module for renaming variables in Out of SSA."""
+
 import logging
 from collections import defaultdict
 from dataclasses import dataclass, field

decompiler/pipeline/stage.py

@@ -1,4 +1,5 @@
 """Module implementing the PipelineStage interface."""
+
 from abc import ABC, abstractmethod
 
 from decompiler.task import DecompilerTask

decompiler/structures/ast/reachability_graph.py

@@ -1,4 +1,5 @@
 """Module to handle the reaches attribute using graphs."""
+
 from __future__ import annotations
 
 from itertools import chain, permutations, product

decompiler/structures/graphs/basic.py

@@ -1,4 +1,5 @@
 """Module implementing basic nodes based on aa given (printable) python object."""
+
 from __future__ import annotations
 
 from typing import Any

decompiler/structures/graphs/basicblock.py

@@ -1,4 +1,5 @@
 """Module defining the BasicBlock class utilized in ControlFlowGraphs."""
+
 from __future__ import annotations
 
 from enum import Enum

decompiler/structures/graphs/branches.py

@@ -1,4 +1,5 @@
 """Module defining the various branches between BasicBlocks used in ControlFlowGraphs."""
+
 from __future__ import annotations
 
 from abc import ABC, abstractmethod

decompiler/structures/graphs/cfg.py

@@ -1,4 +1,5 @@
 """Module defining a control flow graph with the graph interface."""
+
 from __future__ import annotations
 
 from itertools import chain

decompiler/structures/graphs/classifiedgraph.py

@@ -1,4 +1,5 @@
 """Module implementing edge classification for NetworkXGraph."""
+
 from __future__ import annotations
 
 from collections import defaultdict

decompiler/structures/graphs/expressiongraph.py

@@ -1,4 +1,5 @@
 """Module defining the ExpressionGraph used for various pipeline stages."""
+
 from __future__ import annotations
 
 from decompiler.structures.graphs.cfg import ControlFlowGraph

decompiler/structures/graphs/interface/__init__.py

@@ -1,3 +1,4 @@
 """Module defining the graph interface."""
+
 from .graph import EDGE, NODE, GraphEdgeInterface, GraphInterface, GraphNodeInterface
 from .rooted import RootedGraphInterface