Skip to content
Snippets Groups Projects

initial project files and strucutre.

Merged initial project files and strucutre.
master into main
Merged Maximilian-Matthias Brokamp requested to merge master into main
  1. Apr 13, 2024
  3. Apr 03, 2024
  5. Apr 01, 2024
  7. Mar 20, 2024
  9. 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
  11. 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
  13. 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
  15. Mar 08, 2024
  17. 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
  19. Mar 06, 2024
  21. Mar 04, 2024
  23. 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
  25. 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
  27. Feb 19, 2024
  29. Feb 09, 2024
  31. Jan 28, 2024
  33. Jan 19, 2024
  35. Jan 15, 2024
  37. Dec 29, 2023
  39. Dec 21, 2023