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

adds constant tracking analysis #872

Merged
merged 1 commit into from Sep 18, 2018

Conversation

Projects
None yet
2 participants
@ivg
Member

ivg commented Sep 13, 2018

The analysis tracks static constants in a binary, i.e., values
are hardcoded in a program.

For the purposes of the analysis a value is a static constant if
it was initialized from a constant value or computed from a static
constant value.

The constant tracker analysis can be called from Primus Lisp using
the all-static-constants and points-to-static-data functions.
See --primus-lisp-documentation for the documentation on this
functions.

Along with the constant tracker this PR adds some sample analysis.

For example, check-hardcoded-values reports the
hardcoded-socket-address incident every time a hardcoded socket
address is used in one of the BSD Socket API function.

Another analysis is implemented in the check-null-pointers module
that reports a null-pointer-dereference incident every time a static
NULL pointer is dereferenced.

adds constant tracking analysis
The analysis tracks static constants in a binary, i.e., values
are hardcoded in a program.

For the purposes of the analysis a value is a static constant if
it was initialized from a constant value or computed from a static
constant value.

The constant tracker analysis can be called from Primus Lisp using
the `all-static-constants` and `points-to-static-data` functions.
See `--primus-lisp-documentation` for the documentation on this
functions.

Along with the constant tracker this PR adds some sample analysis.

For example, check-hardcoded-values reports the
`hardcoded-socket-address` incident every time a hardcoded socket
address is used in one of the BSD Socket API function.

Another analysis is implemented in the `check-null-pointers` module
that reports a `null-pointer-dereference` incident every time a static
NULL pointer is dereferenced.

@ivg ivg requested a review from gitoleg Sep 13, 2018

@gitoleg gitoleg merged commit 7096bb3 into BinaryAnalysisPlatform:master Sep 18, 2018

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment