Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CryptoAnalysis 3.0.0: CrySL rework #480

Merged
merged 43 commits into from
Nov 20, 2023
Merged

CryptoAnalysis 3.0.0: CrySL rework #480

merged 43 commits into from
Nov 20, 2023

Commits on Sep 14, 2022

  1. Change Tests Assertions that included false positives which are now n… 

    …ot reported anymore
    @marvinvo @lukasngl
    marvinvo authored and lukasngl committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    de73b2b View commit details
    Browse the repository at this point in the history

  2. Remove Typestate Tests 

    The typestate tests fail, because the new SMG builder name states different than the old builder
    @marvinvo @lukasngl
    marvinvo authored and lukasngl committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    d55a60c View commit details
    Browse the repository at this point in the history

  3. Fix Assertion Count

    @marvinvo @lukasngl
    marvinvo authored and lukasngl committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    8362a6e View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

  1. update CrySL to 3.0.1

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    62a6e38 View commit details
    Browse the repository at this point in the history

  2. split class path on path separator 

    was hardcoded as the windows specific separator
    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    f2c1b51 View commit details
    Browse the repository at this point in the history

  3. adapt StateMachineBuilder

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    b4ac671 View commit details
    Browse the repository at this point in the history

  4. adapt CrySLReaderUtils

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    8dbb036 View commit details
    Browse the repository at this point in the history

  5. remove redundant validateOrder 

    implemented in CrySL
    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    b983c40 View commit details
    Browse the repository at this point in the history

  6. adapt forbidden methods

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    e5c99da View commit details
    Browse the repository at this point in the history

  7. adapt getObjects

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    0319578 View commit details
    Browse the repository at this point in the history

  8. adapt predicates

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    4e50c3a View commit details
    Browse the repository at this point in the history

  9. add CrySL validation

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    6ec383c View commit details
    Browse the repository at this point in the history

  10. adapt constraints

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    042d69e View commit details
    Browse the repository at this point in the history

  11. add gitlab deployment

    @lukasngl
    lukasngl committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    aab56f9 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2022

  1. remove unused imports

    @lukasngl
    lukasngl committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    7d94169 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2022

  1. fix StateMachineBuilder

    @lukasngl
    lukasngl committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    1a8da65 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2022

  1. refactor constraint solver into multiple classes

    @lukasngl
    lukasngl committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    2a65b5f View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. add nullchecks when getting order and events

    @lukasngl
    lukasngl committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    eb0347f View commit details
    Browse the repository at this point in the history

  2. add exception handling

    @lukasngl
    lukasngl committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    bc74f8f View commit details
    Browse the repository at this point in the history

  3. translate type parameters to java.lang.Object to match Soot

    @lukasngl
    lukasngl committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    dfd47dc View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2022

  1. fix #327

    @lukasngl
    lukasngl committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    f21c10c View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2022

  1. fix spacing in error messages

    @lukasngl
    lukasngl committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    0ee448a View commit details
    Browse the repository at this point in the history

  2. fix #328

    @lukasngl
    lukasngl committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    37586bb View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2022

  1. add transformer that branches to the handler when exception could be … 

    …thrown
    @lukasngl
    lukasngl committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    3195568 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2022

  1. fix regressions

    @lukasngl
    lukasngl committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    6097609 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. add exception handling errors to SARIF-Reporter

    @lukasngl
    lukasngl committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    d9b9777 View commit details
    Browse the repository at this point in the history

  2. add missing qualifier to logger

    @lukasngl
    lukasngl committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    e370284 View commit details
    Browse the repository at this point in the history

  3. do not enumerate error types in SARIF reporter

    @lukasngl
    lukasngl committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    4401040 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2023

  1. set version to 2.8.0

    @lukasngl
    lukasngl committed Jan 25, 2023
    Configuration menu
    Copy the full SHA
    64e90e9 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2023

  1. final cleanup

    @lukasngl
    lukasngl committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    98098a6 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Merge branch 'develop' of https://github.com/CROSSINGTUD/CryptoAnalysis… 

    … into CROSSINGTUD-develop
    @smeyer198
    smeyer198 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    d9503dc View commit details
    Browse the repository at this point in the history

  2. Merge pull request #2 from smeyer198/CROSSINGTUD-develop 

    Crossingtud develop
    @smeyer198
    smeyer198 authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    4b098cd View commit details
    Browse the repository at this point in the history

  3. Merge pull request #438 from smeyer198/develop 

    Merge parts for CrySL rework to main repository
    @smeyer198
    smeyer198 authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    80ec05c View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Adapt and reformat some parts to pass all tests

    @smeyer198
    smeyer198 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    0995d50 View commit details
    Browse the repository at this point in the history

  2. Update URLs to load and deploy artifacts from Maven Central (Sonatype)

    @smeyer198
    smeyer198 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    bd3b274 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Remove not needed imports

    @smeyer198
    smeyer198 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    dccfb41 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Adapt pattern tests to be compatible with rulesets 3.0.0

    @smeyer198
    smeyer198 committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    34b0b7e View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. Adapt BargaCryptoMisuse tests to conform rulesets 3.0.0

    @smeyer198
    smeyer198 committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    e3e9c97 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Adapt BragaCryptoGooduse tests to conform rulesets 3.0.0

    @smeyer198
    smeyer198 committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    2d77c36 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2023

  1. Avoid bug, where getEncoded from class key is not resolved

    @smeyer198
    smeyer198 committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    b689dcc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into crysl_rework

    @smeyer198
    smeyer198 committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    6a37027 View commit details
    Browse the repository at this point in the history

  3. Adapt Javadoc in reworked parts

    @smeyer198
    smeyer198 committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    d61c953 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. (MAJOR) version update and update README

    @smeyer198
    smeyer198 committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    0c991d3 View commit details
    Browse the repository at this point in the history