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

Integrate testsuite #520

Merged
merged 6 commits into from Jul 14, 2016

Conversation

Projects
None yet
1 participant
@ivg
Member

ivg commented Jul 14, 2016

This PR will integrate the platform testsuite with Travis CI. Every time a new build is spawned,
the testuite will be checked out and run, after the unit testing.

This will finally resolve #375

ivg added some commits Jul 14, 2016

added the check phase to opam file
now every build will also checkout the testuite and run all tests.
initialize submodule only if in the git repo.
Since when we're pinned from opam, we're no longer
in git, but opam should recursively fetch all submodules for us.

@ivg ivg merged commit 1db25f4 into BinaryAnalysisPlatform:master Jul 14, 2016

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
@ivg

This comment has been minimized.

Show comment
Hide comment
@ivg

ivg Jul 14, 2016

Member

I've also created a branch https://github.com/BinaryAnalysisPlatform/bap-testsuite/tree/pr512 that works with the new syntax.

Ideally, we should first introduce new syntax, then update our tests, only then remove old syntax.

Member

ivg commented Jul 14, 2016

I've also created a branch https://github.com/BinaryAnalysisPlatform/bap-testsuite/tree/pr512 that works with the new syntax.

Ideally, we should first introduce new syntax, then update our tests, only then remove old syntax.

parkre added a commit to parkre/bap that referenced this pull request Jul 15, 2016

Integrate testsuite (#520)
* integrated testsuite repository

* added the check phase to opam file

now every build will also checkout the testuite and run all tests.

* initialize submodule only if in the git repo.

Since when we're pinned from opam, we're no longer
in git, but opam should recursively fetch all submodules for us.

* added dejagnu dependency.

* bumped testsuite to a newer version

that supports older Tcl

ivg added a commit that referenced this pull request Jul 15, 2016

LLVM Plugin Refactor + Corrected COFF Section Addresses (#525)
* Goodbye segmentation faults caused by PE32+ binaries

* Refactoring of namespace segment

* Additional refactoring for handling of COFFObjectFiles

* Refactoring of symbol and section namespaces

* Removed segment constructors

* Fixed narrowing conversion warnings stemming from list initializations

* Correct section addresses for COFF binary objects

* Make symbol namespace pretty

* Additional refactoring for handling of COFFObjectFiles

* Refactoring of symbol and section namespaces

* Removed segment constructors

* Fixed narrowing conversion warnings stemming from list initializations

* Resolve x86-abi issues (#519)

This PR resolves several x86 abi issues that were found by a new
testsuite:

1. Currently x86 abi don't know how to pass arrays of unknown sizes.
   Different ABI allows to pass them via registers, if certain condition
   holds and size is known, if the size is unknown, then they are
   usually passed as a pointer. Since, currently the support for x86 ABI
   is preliminary I fixed this locally in the `c/posix`.

2. Added ABI autodetection. This is a heuristics that may detect that a
   binary has MS ABI. A better approach would be to store the
   information about original file format. Knowing that the file is in
   PE32 or PE32+ format is a much better heuristic to guess that it is
   for Windows.

3. Added demangling for Win32 files.

As a result, now Saluki is able to work on MS binaries out of box, and
even without the IDA help, as PE32 binaries usually have much more
symbolic information.

* Integrate testsuite (#520)

* integrated testsuite repository

* added the check phase to opam file

now every build will also checkout the testuite and run all tests.

* initialize submodule only if in the git repo.

Since when we're pinned from opam, we're no longer
in git, but opam should recursively fetch all submodules for us.

* added dejagnu dependency.

* bumped testsuite to a newer version

that supports older Tcl

* This is a quick fix for #521 (#522)

There're some flags that are triggered with enable/disable, that are not
oasis features, e.g., `--enable-tests`, `enable-docs`, etc. I've put
them as a special args, and protected from removing. Kind of crude, but
will work as a quick fix, until we will resolve this properly.

* Correct section addresses for COFF binary objects

* Make symbol namespace pretty

@ivg ivg deleted the ivg:integrate-testsuite branch Jul 19, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment