8000 Comparing eurecom-s3:master...damienmaier:master · eurecom-s3/symcc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: eurecom-s3/symcc
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: damienmaier/symcc
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
  • 17 commits
  • 17 files changed
  • 1 contributor

Commits on Nov 22, 2023

  1. log symbolic areas

    @damienmaier
    damienmaier committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    80ee4f1 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. cmake-build-debug in gitignore

    @damienmaier
    damienmaier committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    b8bcf4f View commit details
    Browse the repository at this point in the history

  2. save tracing info in json file instead of stdout

    @damienmaier
    damienmaier committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    b1153ce View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. disable garbage collection for tracing

    @damienmaier
    damienmaier committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    8e9c7f9 View commit details
    Browse the repository at this point in the history

  2. provide all symbols in tracing output

    @damienmaier
    damienmaier committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    b41c1da View commit details
    Browse the repository at this point in the history

  3. give symbol id with each symbolic address

    @damienmaier
    damienmaier committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    f4e675c View commit details
    Browse the repository at this point in the history

  4. update tracing output format

    @damienmaier
    damienmaier committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    f92c257 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. path constraints tracing

    @damienmaier
    damienmaier committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    8a73c9a View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. add registered regions to symbolic tracing

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    0a9ea7a View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. add _sym_build_integer_arbitrary_length function

    @damienmaier
    damienmaier committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    d4ee1eb View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2023

  1. simplify _sym_build_integer_from_buffer function

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    ba2fdf7 View commit details
    Browse the repository at this point in the history

  2. move rotate implementation from symqemu to backend

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    723c5ba View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. add constants value, size and input dependency to symbolic trace

    @damienmaier
    damienmaier committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    b47b408 View commit details
    Browse the repository at this point in the history

  2. add taken info to tracing

    @damienmaier
    damienmaier committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    51741cb View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. move trace parsing script into standalone util package

    @damienmaier
    damienmaier committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    bb2e6e8 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Refactor and documentation

    @damienmaier
    damienmaier committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    cc42a7e View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. increase distance threashold for memory area mappings

    @damienmaier
    damienmaier committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    8d9b75d View commit details
    Browse the repository at this point in the history
Loading
0