Skip to content

/ dynamic-analysis

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

Jump to bottom

Classification of Transformers? #23

Closed
chadbrewbaker opened this issue Oct 3, 2020 · 5 comments
Closed

Classification of Transformers? #23

chadbrewbaker opened this issue Oct 3, 2020 · 5 comments
Labels
stale

Comments

@chadbrewbaker
Copy link
Contributor

@chadbrewbaker chadbrewbaker commented Oct 3, 2020

I'm calling them transformers for lack of a better term:

https://github.com/google/souper - optimize LLVM IR with SMT solvers
https://github.com/facebookincubator/BOLT - profile guided permutation of linking to improve cache efficiency
https://github.com/google/llvm-propeller - profile guided hot/cold function splitting to improve cache efficiency
https://github.com/facebook/redex - Android byte code optimizer
https://github.com/facebookincubator/SPARTA - Abstract analysis library behind ReDex
https://www.infoq.com/presentations/facebook-google-bpf-linux-kernel/ - eBPF - analysis built into the Linux Kernel

Not sure they fit 100% in a "static" or "dynamic" classification - but I'm leaning towards dynamic?
@arthaud
Copy link
Collaborator

@arthaud arthaud commented Oct 3, 2020

Redex and Sparta are definitely static analyzers, not dynamic.
@chadbrewbaker
Copy link
Contributor Author

@chadbrewbaker chadbrewbaker commented Oct 3, 2020

No hard opinion either way. Profile guided optimizations require execution - so dynamic. eBPF is dynamic?

How about Souper?
@mre
Copy link
Member

@mre mre commented Oct 4, 2020

Hey @chadbrewbaker,
first off thanks for listing those tools.
Apart from Redex and Sparta I'd be happy to include the tools in the list. Would you have time to create a PR?
@github-actions
Copy link

@github-actions github-actions bot commented Dec 4, 2020

This issue has been automatically marked as stale because it has not had recent activity in the last 60 days. It will be closed in 7 days if no further activity occurs. Thank you for your contributions.
@github-actions github-actions bot added the stale label Dec 4, 2020
@mre
Copy link
Member

@mre mre commented Dec 4, 2020

Merged those tools. Thanks for the recommendation @chadbrewbaker. Please keep 'em coming.
@mre mre closed this Dec 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
stale
Projects
None yet
Milestone
No milestone
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
3 participants
@mre @chadbrewbaker @arthaud
You can’t perform that action at this time.