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

Ci/semgrep #2

Merged
merged 31 commits into from
Sep 30, 2024
Merged

Ci/semgrep #2

merged 31 commits into from
Sep 30, 2024

Conversation

rndquu
Copy link

@rndquu rndquu commented Sep 30, 2024 •
edited
Loading

This PR:

  1. Throws CI error on any semgrep finding
  2. Runs semgrep CI only when *.sol files have been changed
  3. Removes performance related semgrep rules (because most of them are https://sg.run/ej3L or https://sg.run/vGA0)

alexandr-masl and others added 30 commits August 22, 2024 00:47
@alexandr-masl
test(UbiquityPoolFacet): add invariant tests for collateral token add…
9e0d5fc 
…ition and price feed setup
@alexandr-masl
test(ubiquityPoolFacet): add invariant test for Ubiquity Dollar minti…
42d739a 
…ng limits with fuzzing
@alexandr-masl
test(ubiquity-pool-facet): add collateral, ceiling, redeem, and dolla…
6689906 
…r price manipulation tests
@alexandr-masl
test(UbiquityPoolFacetInvariantTest): add collateral price manipulati…
142f779 
…on and update invariant
@alexandr-masl
test(UbiquityPoolFacetInvariantTest): delete irrelevant logs
5407774
@alexandr-masl
test(lib-ubiquity-pool): add conservative estimates for price and fees
dd94c7e
@alexandr-masl
test(pool-facet-handler): add fuzzed parameters to dollar price manip…
989d9c6 
…ulation tests
@alexandr-masl
test(pool-facet-handler): add usd price manipulations
1b7f1da
@alexandr-masl
test(pool-facet-handler): eth/usd price manipulations
fd8acb6
@alexandr-masl
test(pool-facet-handler): add docs
26abd14
@alexandr-masl
test(pool-facet-handler): deted hard params for redeemDollar
dfff4f3
@alexandr-masl
test(pool-facet-handler): update assume statements in redeemDollar an…
b49a875 
…d mintUbiquityDollars
@alexandr-masl
test(pool-facet-handler): refactor the income fuzz parameters
44e9bf5
@alexandr-masl
test(pool-facet-invariant): add new invariant checks for minting and …
316d557 
…redemption
@alexandr-masl
test(setting-up-ci): add deep-invariant ci sttings
16de33c
@alexandr-masl
test(ci-settings): update fuzz and invariant ci settings
ae26dfb
@alexandr-masl
test: add an invariant profile to the foundry configuration
e5c687e
@rndquu
Merge pull request ubiquity#953 from alexandr-masl/invariant_testing
c8e4c35 
Invariant tests for UbiquityPoolFacet
@github-actions
docs: auto generate NATSPEC docs
56f03ed
@rndquu
ci: update deep-invariant.yml
96dae22
@rndquu
Merge pull request ubiquity#963 from ubiquity/rndquu-patch-3
c5891e9 
ci: update deep-invariant.yml
@rndquu
Merge branch 'pull/961' into development
f128408
@rndquu
ci: test
aa758b7
@rndquu
ci: test
3741d4c
@rndquu
ci: test
a88e853
@rndquu
ci: test
70071d7
@rndquu
ci: test
27c3e39
@rndquu
ci: test
e68c548
@rndquu
ci: test
496513b
@rndquu
ci: test
e21970e
@rndquu rndquu mentioned this pull request Sep 30, 2024
Merged
@obeys obeys merged commit 2a1d865 into obeys:add-semgrep Sep 30, 2024
15 checks passed
@rndquu rndquu deleted the ci/semgrep branch October 1, 2024 07:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@rndquu @obeys @alexandr-masl