All Git Users → trailofbits

61 open source projects by trailofbits

51. ManticoreUI
The Manticore User Interface with plugins for Binary Ninja and Ghidra
✭ 63
pythonjava
52. threads
THREADS Conference Archive
54. ebpfault
A BPF-based syscall fault injector
55. http-security
Parse HTTP Security Headers
56. rubysec
RubySec Field Guide
57. pip-audit
Audits Python environments and dependency trees for known vulnerabilities
58. fickling
A Python pickling decompiler and static analyzer
✭ 170
python
59. reverie
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
60. bisc
Borrowed Instructions Synthetic Computation
61. ObjCGraphView
A graph view plugin for Binary Ninja to visualize Objective-C
51-61 of 61 user projects