Pinned Loading

1. android-shmem android-shmem Public

   Forked from pelya/android-shmem

   System V shared memory emulation on Android, using ashmem. That includes shmget, shmat, shmdt and shmctl functions.

   C

2. awesome-symbolic-execution awesome-symbolic-execution Public

   Forked from ksluckow/awesome-symbolic-execution

   A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

3. symexbib symexbib Public

   Forked from saswatanand/symexbib

   A bibliography of papers related to symbolic execution