symcc

symcc copied to clipboard

The current implementation of `visitSelectInst` is: ``` void Symbolizer::visitSelectInst(SelectInst &I) { // Select is like the ternary operator ("?:") in C. We push the (potentially // negated) condition to the...

ercoppa

Consider this example (inspired by a real-world code): ``` #include #include #include int bar(unsigned char a) { if (a == 0xCA) return -1; else return 0; } int main() {...

ercoppa

Add support to LAVA-M dataset

10

fix #102. I add more intercepted functions so that the lava-m programs can properly get input tainted. If the code is not quite standardized, I hope to get your test...

Yhcrown

Failed to Compile with "-DTARGET_32BIT=ON"

1

According to the instructions from `docs/32-bit.txt`, I built up the environment as follow: 1. Z3 version 4.8.3, compiled by `cmake` with `CXX_FLAGS="-m32" C_FLAGS="-m32"`. 2. LLVM version 12.0.0, compiled by `cmake`...

UESuperGate

SymCC doesn't handle SSE instructions properly and crashes in debug builds (UNREACHABLE executed at ../compiler/Symbolizer.cpp:880! when building OpenJPEG)

4

Hi, I'm trying to build OpenJPEG but symcc (clang 10.0.1) is crushing. I've built the master branch of symcc and `1f1e9682` of OpenJPEG with: `CC=~/symcc/build/symcc CXX=~/symcc/build/sym++ SYMCC_NO_SYMBOLIC_INPUT=1 SYMCC_LIBCXX_PATH=/usr/include/c++/v1 cmake .....

thetheodor

Hybrid fuzzing (SymCC + AFL) does not work

3

Hi, I set up SymCC using the given Dockerfile and I followed this video to test its hybrid fuzzing mode : https://www.youtube.com/watch?v=zmC-ptp3W3k. I used the same example program and the...

thuanpv

Failed to run hybrid fuzzing(AFL+SymCC) in VM.

1

In ubuntu 20.04 VM created with VMWare, symcc failed to generate any testcase. But on native machines, symcc can normally generate many testcases. ``` [2022-08-04T15:36:30Z INFO symcc_fuzzing_helper] Generated 0 test...

Vancir

Error in compiling C++ programs using libcxx

1

I am using symcc to analyze C++ programs with libcxx. I follow the document c++.txt in docs. Firstly, I compile and instrument libcxx using sym++ and install the instrumented libcxx...

william4code

Hi SymCC devs I have a problem when I test [LAVA-M](https://panda.moyix.net/~moyix/lava_corpus.tar.xz) with SymCC. In LAVA-M, bugs are automatically injected into the software, so I want to check whether SymCC could...

Tricker-z

Backend Rust/Foreign Language Support

4

Hey, I came up with the code in this PR in order to be able to implement new SymCC/SymQEMU backends in Rust for my GSoC project (which is about integrating...

julihoh