Geeks
sbjoshi
/
Pinaka
A symbolic execution engine for finding bugs in programs.
Primary Language
Python
Other
NOASSERTION
Pinaka GitHub
Markdown
Readme
0
Issues
8
Stargazers
3
Watchers
Stargazers
AdaephonBen
Hyderabad
chenruibuaa
Beijing Sunwise Information Technology Co. Ltd.
prateekkumarweb
Apple (@apple)
priyanka-golia
sbjoshi
theawless
AWS
Thilak-KN
India
xrkk
Topsec