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.

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

Extra Slice Filtering #2928

Merged
merged 5 commits into from
Jun 26, 2023
Merged

Extra Slice Filtering #2928

merged 5 commits into from
Jun 26, 2023

Conversation

DavidBakerEffendi
Copy link
Collaborator

  • Added various slice filtering options
  • Made BaseConfig unsealed, so it can be extended upon
  • Did some basic neatening and simplifying of usage slicing

Depends on #2917

Fix tests failing for new implementation
Left todos for slice linking
Added `slices.json` to git ignore to ignore slice output
* Added various slice filtering options
* Made `BaseConfig` unsealed, so it can be extended upon
* Did some basic neatening and simplifying of usage slicing

Depends on #2917
@DavidBakerEffendi DavidBakerEffendi added enhancement New feature or request cli Relates to Joern's CLI labels Jun 26, 2023
@DavidBakerEffendi DavidBakerEffendi merged commit 9e0171b into master Jun 26, 2023
@DavidBakerEffendi DavidBakerEffendi deleted the dave/slice-filters branch June 26, 2023 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cli Relates to Joern's CLI enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants