tools for symbolic execution on binaries [closed] - llvm

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 4 years ago.
Improve this question
are there any tools for symbolic execution on binaries. i mean using which, we do not require to modify the source code - like klee_make_symbolic
or we can do such changes in IR (llvm ir etc.)
thanks in advance

Maybe miasm can fit your requirements. It is a reverse engineer framework that supports static symbolic execution. As far as I know, it is more simple than KLEE and S2E.

Canonical list is in Awesome Symbolic Execution.

Symbolically executing binary code is much much harder, so i doubt there are such tools exist.
However note that you don't necessarily need to modify your code when using KLEE because it can model POSIX environment and C library (when compiled with support for this, of course). Using these features you can automatically symbolize argv arguments and keyboard interaction.

Related

Conditional Random Field (CRF) implementation / library [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 3 years ago.
Improve this question
I am looking for a free C++ conditional random field (CRF) implementation but not for text processing.
There are bunch of cool implementations:
CRFsuite (for text processing)
CRF++ (for text processing)
JGMT (Matlab - MEX not C++)
There are other packages like Darwin and HCRF with no usage examples in C++.
I'm wondering if anybody know any C++ CRF library other than what I mentioned above or know any example on how to setup and use Darwin or HCRF?
DGM is a very poserful but simple-to use CRF library, written on C++11. It was designed especially for image processing and includes many usage examples in tutorials.
It also includes the DenseCRF, mentioned in other answer.
DenseCRF is a great library that performs dense conditional random field (fully-connected CRF) very efficiently. The package comes with an easy to understand C++ demo and some examples. It is very fast and produces promising results on image data.
There is DGM C++ library implementing CRFs for image classification: http://research.project-10.de/dgm

Parse c++ and extract all used types and functions [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
I want to write a program that runs before Visual Studio compiles my project.
It needs to extract only the types, names and parameters of all functions, classes, structs, enums my project is using from files in a specific folder (/sdk) and copy those into a new folder (/sdkmin)
So I basically want to have a program that minifies the sdk my project is using.
Is there any decent library that allows me to do that without having to write my own parser/lexer/whatever?
I think what you should do is look at some clang tools like "clang-format", "include-what-you-use", etc., which build on the clang AST front-end stuff to do various interesting things. This will provide the lexer and parser for you, which would indeed take a very long time if you started from scratch.
Github mirror here: https://github.com/llvm-mirror/clang

C/C++ call-graph utility for Windows platform [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
I have a large 95% C, 5% C++ Win32 code base that I am trying to grok.
What modern tools are available for generating call-graph diagrams for C or C++ projects?
Have you tried doxygen and codeviz ?
Doxygen is normally used as a documentation tool, but it can generate call graphs for you with the CALL_GRAPH/CALLER_GRAPH options turned on.
Wikipedia lists a bunch of other options that you can try.
Have you tried SourceInsight's call graph feature?
http://www.sourceinsight.com/docs35/ae1144092.htm
Good old cflow works fine for C. See here for an implementation.
Any decent static analysis tool should have this functionality (as well as all the other stuff that such tools do). Wikipedia has a good list of such tools.
Another group of tools that may be worth checking out are coverage tools. The call graph generated by the coverage tool will contain only the calls that actually take place during a run of the program. Initially this may be more helpful to you than a full call graph. I'm unable to make any suggestions on this for Windows, but for linux projects I highly recommend gcov and lcov.

C++ 2D Integration Libraries [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
Can anyone point out a good C++ library that can do 2D numerical integration. It needs to be able to accept a 2D array of known values, and the spacing between the points can be assumed to be constant (for a start).
It is preferable that it have a license which allows modifying the code as needed.
It's actually a C library, but if the GPL licensing terms work for you try:
http://www.gnu.org/software/gsl/
You will want to check out the Monte Carlo integration options outlined here:
http://www.gnu.org/software/gsl/manual/html_node/Monte-Carlo-Integration.html
This Fortran library is easy to link to from C++ and is in public domain:
http://gams.nist.gov/cgi-bin/serve.cgi/Module/CMLIB/ADAPT/2967
It's single precision but it's quite easy to modify the sources (get "full sources" and go through every function) to switch to double precision.
http://itpp.sourceforge.net/current/
Try this. It can do what you ask for and more! And you can modify the code as much as you like.
I've read somewhere that you can extract libraries out of GNU Octave's code and use the C++ code in your own applications. I'm not sure if that's an easy task, but you can give it a try if you have the time.

Easy to use SNMP client library for c++? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 8 years ago.
Improve this question
What's an easy to use SNMP client library for c++?
SNMP++ is also a nice and open source library for C++ developers.
http://www.agentpp.com/api/cpp/snmp_pp.html
Probably the best choice is net-snmp. Note that the library has "C" linkage but will work just fine with C++.
I have found that Net-SNMP does not support multi-threading with v3 type queries. So if you are writing an SNMP monitoring tool that will be polling multiple hosts then you will need to take this into consideration.
OpenSNMP contains a complete multi-threaded implementation of SNMPv3 that is done in C++ (complete with classes, etc). It's not heavily used and maintained though.
Net-SNMP with v3 over TLS/DTLS is likely to be threadsafe as it's really SNMPv3/USM that contains threading issues. I think.