search

dsw / oink-stack

Oink is a collaboration of C++ static analysis tools.
http://danielwilkerson.com/oink/index.html
154 stars 34 forks source link

More Samples #20

Open atamlir opened 7 years ago

atamlir commented 7 years ago

Are there samples for using Cqual++ with openSSL ? Apache ? Others ?

dsw commented 7 years ago

Everything we did is in the repo as a test. Mozilla did use elsa on their code base a few years ago: elsa was the first C++ front end used for source-to-source transformation and Taras Glek spoke about that at Code Con 2009.

Daniel

On Mon, May 29, 2017 at 11:30 AM, atamlir notifications@github.com wrote:

Are there samples for using Cqual++ with openSSL ? Apache ? Others ?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/dsw/oink-stack/issues/20, or mute the thread https://github.com/notifications/unsubscribe-auth/AAC_XCYmiEi3fGx32OJ9WUFPqB5hqPrcks5r-w7AgaJpZM4Npi9x .

atamlir commented 7 years ago

I am trying to run qual on openssl/s3_srvr.c ../../oink-stack/oink/qual -q-config ../../oink-stack/libqual/config/lattice s3_srvr.c

I am getting a lot of dependency issues to other files?

s3_srvr.c:176:13: error: there is no variable called SSL3_VERSION' s3_srvr.c:177:10: warning: implicit declaration ofSSLv3_server_method' s3_srvr.c:179:10: error: there is no variable called NULL' s3_srvr.c:183:42: error: there is no type calledSSL' s3_srvr.c:185:12: error: there is no variable called SSL_ERROR_NONE' s3_srvr.c:187:8: error: there is no variable calledSSL_AD_UNRECOGNIZED_NAME'

Any help appreciated.

dsw commented 7 years ago

Please do read through all of the instructions from scratch: http://dsw.users.sonic.net/oink/

In particular, you can only analyze code that has been through a preprocessor. The kind of errors you are sending me sound like you did not run the code through the preprocessor first.

On Mon, May 29, 2017 at 3:59 PM, atamlir notifications@github.com wrote:

I am trying to run qual on openssl/s3_srvr.c ../../oink-stack/oink/qual -q-config ../../oink-stack/libqual/config/lattice s3_srvr.c

I am getting a lot of dependency issues to other files?

s3_srvr.c:176:13: error: there is no variable called SSL3_VERSION' s3_srvr.c:177:10: warning: implicit declaration ofSSLv3_server_method' s3_srvr.c:179:10: error: there is no variable called NULL' s3_srvr.c:183:42: error: there is no type calledSSL' s3_srvr.c:185:12: error: there is no variable called SSL_ERROR_NONE' s3_srvr.c:187:8: error: there is no variable calledSSL_ADUNRECOGNIZED NAME'

Any help appreciated.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/dsw/oink-stack/issues/20#issuecomment-304741710, or mute the thread https://github.com/notifications/unsubscribe-auth/AAC_XAsLGDLKS_g3GmsCeMNZUxix56O5ks5r-03PgaJpZM4Npi9x .