Skip to content

Add head and tail parameters to constructors and mk methods#59

Merged
VincenzoArceri merged 1 commit intomasterfrom
fix/mk-method-in-taint-analysis
Dec 18, 2025
Merged

Add head and tail parameters to constructors and mk methods#59
VincenzoArceri merged 1 commit intomasterfrom
fix/mk-method-in-taint-analysis

Conversation

@merendamattia
Copy link
Collaborator

Include head and tail parameters in the constructors and mk methods to enhance functionality and flexibility.

@VincenzoArceri VincenzoArceri merged commit 69e3a8b into master Dec 18, 2025
3 checks passed
@VincenzoArceri VincenzoArceri deleted the fix/mk-method-in-taint-analysis branch December 18, 2025 10:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants