search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
920 stars 140 forks source link

Including Test Setup for Swift #587

Closed janniclas closed 1 year ago

janniclas commented 1 year ago

With this PR I added the possibility to compile Swift test cases to LLVM IR. The idea is to include this as an optional setting with default to set OFF, so our users can decide whether they want to run those locally. However, I would like to include the tests in our build pipeline to make sure that we are notified if changes affect the Swift-based LLVM IR.

janniclas commented 1 year ago

@jusito feedback appreciated :)

janniclas commented 1 year ago

The pr is ready to be merged. It is expected that the unit test fails since the extension to the LCA fixing the test case will be fixed with https://github.com/secure-software-engineering/phasar/pull/585.

MMory commented 1 year ago

This looks pretty overlapping to #585 , do we still need/want this?

janniclas commented 1 year ago

This looks pretty overlapping to #585 , do we still need/want this?

I intentionally splitted it in two PRs so it's easier to review the changes. This one just includes the changes to the test setup, the other one changes to the analysis + new tests utilizing this new test setup.

MMory commented 1 year ago

closing this according to private conversation with @janniclas