Issues

• Problem running Symcc

  eurecom-s3/symcc#188 · Filter by author abbdulwahab86 opened on Aug 18, 2026
  2

• refcount bug in simple backend runtime

  eurecom-s3/symcc#180 · Filter by author jangseop-sec opened on Jan 7, 2026

• Solver-level caching to skip re-solving identical constraint sets

  eurecom-s3/symcc#179 · Filter by author hassanaleem opened on Jul 7, 2025

• Can the fuzzer such as AFL and symcc run separately in independent docker and conduct hybrid fuzzing by sharing the output folder of fuzzing?

  eurecom-s3/symcc#178 · Filter by author komorogrov opened on May 13, 2025

• Possible type mismatch for runtime functions

  eurecom-s3/symcc#175 · Filter by author m-carrasco opened on Dec 15, 2024

• Question about Testing Libraries with symcc in Hybrid Fuzzing

  eurecom-s3/symcc#174 · Filter by author junmeiRong opened on Sep 23, 2024

• Missing support for arithmetic on booleans and vector types

  enhancement
  eurecom-s3/symcc#171 · Filter by author exatoa opened on Apr 23, 2024
  2

• Config_site issue when using the sample.cpp on Docker

  eurecom-s3/symcc#164 · Filter by author AndrewQuijano opened on Apr 7, 2024
  1

• SymCC fails to compile with -DTARGET_32BIT=ON

  bug
  eurecom-s3/symcc#159 · Filter by author PwnVerse opened on Mar 8, 2024
  5

• Fuzzing with AFL and Symcc does not work

  eurecom-s3/symcc#152 · Filter by author jiliguluss opened on Nov 30, 2023
  2

• Fail to compile gpac with clang frontend error

  bug
  eurecom-s3/symcc#148 · Filter by author 17ssDP opened on Nov 2, 2023
  1

  

• Could not compile libcxx: malloc/malloc.h not found

  eurecom-s3/symcc#147 · Filter by author aur3l14no opened on Aug 2, 2023
  7

  

• program links to libstdc++, not instructmented libc++

  eurecom-s3/symcc#146 · Filter by author xiaozhouqi opened on Jul 25, 2023

• cannot generate new testcase for a simple case

  eurecom-s3/symcc#145 · Filter by author xiaozhouqi opened on Jul 25, 2023

• sprintf wrapper

  eurecom-s3/symcc#137 · Filter by author ercoppa opened on Mar 24, 2023

• _sym_get_input_byte() in simple backend

  eurecom-s3/symcc#136 · Filter by author ercoppa opened on Mar 24, 2023

• LLVM compatibility policy

  eurecom-s3/symcc#130 · Filter by author sebastianpoeplau opened on Feb 21, 2023
  6

  

• Failed to build the Vagrantfile

  eurecom-s3/symcc#126 · Filter by author kandersonko opened on Jan 31, 2023

• Support for variadic functions

  enhancement
  eurecom-s3/symcc#120 · Filter by author ercoppa opened on Dec 22, 2022
  1

  

• Failed to Compile with "-DTARGET_32BIT=ON"

  question
  eurecom-s3/symcc#106 · Filter by author UESuperGate opened on Aug 16, 2022
  1

  

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

  question
  eurecom-s3/symcc#105 · Filter by author Vancir opened on Aug 4, 2022
  1

  

• Error in compiling C++ programs using libcxx

  eurecom-s3/symcc#104 · Filter by author william4code opened on Jul 13, 2022
  1

• Test LAVA-M with SymCC

  eurecom-s3/symcc#102 · Filter by author Tricker-z opened on Jun 4, 2022

• Error while running symcc_help_fuzzer

  eurecom-s3/symcc#100 · Filter by author ghost opened on Mar 11, 2022
  1

• Question about pure_concolic_execution

  eurecom-s3/symcc#99 · Filter by author junmeiRong opened on Feb 8, 2022
  1