Skip to content

issues Search Results · repo:quarkslab/pastis language:Python

Filter by

6 results
 (72 ms)

6 results

inquarkslab/pastis (press backspace or delete to remove)

quarkslab/pastis
lief enums seem to be incorrectly capitalised

https://github.com/quarkslab/pastis/blob/917e0766bb090ab1a6b68a314c8573698c5a3060/libpastis/package.py#L266-L267 I don t think I m holding this wrong; this causes the following error in a local fuzzbench ...
  • addisoncrump
  • 3
  • Opened 
    on Aug 8, 2024
  • #17

quarkslab/pastis
running the demo with statically compiled code

I compiled your demo statically: clang -static -Wall -g demo.c -o ./bin/demo.ttt and when I trying to run it using pastis and trintondse, I get: 1. I get exception, that my platform doesn t exist: image ...
  • hroash
  • 3
  • Opened 
    on Jul 9, 2024
  • #13

quarkslab/pastis
tritondse - coverage not found- causing triton to never find other seeds

I m building your demo file code using: clang -Wall -g demo.c -o demo.ttt I m running the broker with: pastis-broker -b bin -s initial -w output and than I run tritondse using: pastis-triton online and ...
  • hroash
  • 6
  • Opened 
    on Jun 23, 2024
  • #11

quarkslab/pastis
[CLI-0-HF] [ERROR] Cannot start target, HFQBDIPRELAOD not found

My log is 2023-07-02 12:47:11 [ BROKER ] [INFO] new binary detected [LINUX, X86_64]: bin/fsm.tt 2023-07-02 12:47:11 [ BROKER ] [INFO] new binary detected [LINUX, X86_64]: bin/fsm.hf 2023-07-02 12:47:11 ...
  • TinyNiko
  • 2
  • Opened 
    on Jul 2, 2023
  • #6

quarkslab/pastis
docker error

Hello, The code has been removed from the repository. So the file does not exist and an error occurs. ./contrib/setup-cadical.sh \ ./contrib/setup-btor2tools.sh \ ./contrib/setup-symfpu.sh ...
bug
  • gy741
  • 3
  • Opened 
    on Jun 30, 2023
  • #3

quarkslab/pastis
tritondse for fuzzing

The pastis setup is pretty complex. I am looking for an easy symbolic/concolic solution that could be integrated into afl++, and maybe tritondse could be it. could you give me some pointers what would ...
  • vanhauser-thc
  • 3
  • Opened 
    on Apr 27, 2023
  • #2
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub