Skip to content
Snippets Groups Projects

initial project files and strucutre.

Merged Maximilian-Matthias Brokamp requested to merge master into main
  1. Apr 13, 2024
  2. Apr 03, 2024
  3. Apr 01, 2024
  4. Mar 20, 2024
  5. Mar 14, 2024
    • Maximilian Brokamp's avatar
      Multiple bug fixes. · ba925862
      Maximilian Brokamp authored
      -> changed how getMatchingLine works
      -> ExecutionPathNode and CallStackNode now also track the matchingline from the other code
      -> the end last line of an llvm function is now computed correctly
      
      New features:
      -> added
      -> callStack comparison
      -> unmatched CData with Types new_constraint and state_creation now get delted before output
      -> unmatched Constraints are added to the output
      -> added option to only match constraints for specific functions
      ba925862
    • Maximilian Brokamp's avatar
      when comparing types of an allocation, the diff function now checks if one... · bbe51616
      Maximilian Brokamp authored
      when comparing types of an allocation, the diff function now checks if one type is the renamed version of the other (check is done solely with the type names)
      bbe51616
    • Maximilian Brokamp's avatar
      changed how Basic Blocks get handled in the annotation writer and how the... · a8161ce2
      Maximilian Brokamp authored
      changed how Basic Blocks get handled in the annotation writer and how the address is red in buildInstructionToLineTable. The line number of a Basic Block is now allways the one before the line of the first instruction. Before this the lines were the same, which lead to problems in the lineTable, which uses lines as a key.
      a8161ce2
  6. Mar 12, 2024
    • Maximilian Brokamp's avatar
      Changed Implementation of ExecutionPathNode and CallStackNode to use ref<T>... · 39aa80cd
      Maximilian Brokamp authored
      Changed Implementation of ExecutionPathNode and CallStackNode to use ref<T> class (copied from KLEE) to easier manage the refferences.
      
      Call Stack Node now points to the first and last BBs that were executed in the current context, making it easier to only compare the Execution path for the current context (and ignoring any calls executed)
      39aa80cd
  7. Mar 11, 2024
    • Maximilian Brokamp's avatar
      Added Execution Path tracking. · bdd2bd7b
      Maximilian Brokamp authored
      Added check for matching Execution Path to compare Function. Added more statistics to the output file.
      
      Fixed a bug where unmatched constraints were safed in the wrong map, leading to them not beein considered in future matches.
      bdd2bd7b
  8. Mar 08, 2024
  9. Mar 07, 2024
    • Maximilian Brokamp's avatar
      Fixed wrong Debug Info in spa_output.txt. · 23dd6c92
      Maximilian Brokamp authored
      Added Function getInstruction to obtain the correct Instruction ptr for each asmLine.
      changed FunctionDiff entries to allways contains an entrie for each BB to ensure the llvm Instruction pointer can allways be obtained by the asmLine
      23dd6c92
  10. Mar 06, 2024
  11. Mar 04, 2024
  12. Feb 27, 2024
    • Maximilian Brokamp's avatar
      Fixed a LOT of bugs in the BitcodeComparator class. · 7069c0b6
      Maximilian Brokamp authored
      Changed Model count to be returned as base and power instead of one number (did constantly overflow the 64 bit int)
      
      changed the name of optoins.
      
      Added printing to output file.
      7069c0b6
    • Maximilian Brokamp's avatar
      Added naive matching of BasicBlocks that could not be matched before. · 7bb7abe5
      Maximilian Brokamp authored
      This checks for overy combination of BBs if they are completely the same.
      
      Added possibility to delete DiffMap of Function and reset the status to match.
      Usefull if turns out after the comparison that all basic blocks were the same
      
      Also fixed some minor bugs.
      7bb7abe5
    • Maximilian Brokamp's avatar
      A lot of small changes: · e894d346
      Maximilian Brokamp authored
      - changed input options (now the bitcode files are given directly as an option and the parent directory)
      - modified debug output
      - changed the bitcode files used comparison from the input files to the versions modified by klee. This is necessry for the assembly lines that klee outputs to match those in spa
      -  removed not necessary functions from KleeManager class
      e894d346
  13. Feb 21, 2024
    • Maximilian Brokamp's avatar
      Implemented main analysis loop, that handels incomming constraints from both... · 7430bf49
      Maximilian Brokamp authored
      Implemented main analysis loop, that handels incomming constraints from both klee instances, checks if they match, if calculates the model coung, and if not adds them to a list of unmatched constraitns.
      
      It was necessary to restrcuture the DiffEntry classes again (DiffEntry is no template function anymore).
      
      In the current state the program compiles, but no testing has been done, if the implementation is correct (probably not :) )
      7430bf49
  14. Feb 19, 2024
  15. Feb 09, 2024
  16. Jan 28, 2024
  17. Jan 19, 2024
  18. Jan 15, 2024
  19. Dec 29, 2023
  20. Dec 21, 2023
Loading