How I gave ManticoreUI a makeover By Calvin FongDuring my internship at Trail of Bits, I explored the effectivenes... 2022-12-15 21:0:23 | 阅读: 19 | 收藏 | Trail of Bits Blog - blog.trailofbits.com mui manticore symbolic library emulate

Manticore GUIs made easy By Wong Kok Rui, National University of SingaporeTrail of Bits maintains Mantico... 2022-12-13 21:0:4 | 阅读: 42 | 收藏 | Trail of Bits Blog - blog.trailofbits.com manticore mui ghidra python development

Hybrid fuzzing: Sharpening the spikes of Echidna By Tom Malcolm, University of Queensland, AustraliaSmart contract fuzzing is an... 2022-12-8 21:0:36 | 阅读: 19 | 收藏 | Trail of Bits Blog - blog.trailofbits.com echidna assertion symbolic optik

Specialized Zero-Knowledge Proof failures By Opal WrightZero-knowledge (ZK) proofs are useful cryptographic tools that hav... 2022-11-29 20:30:56 | 阅读: 22 | 收藏 | blog.trailofbits.com alice zi zk discrete n2

Are you sure your Python ABI is actually stable? TL;DR: Trail of Bits has developed abi3audit, a new Python tool for checking Pyth... 2022-11-15 20:30:0 | 阅读: 31 | 收藏 | blog.trailofbits.com python cpython abi3 wheel wheels

We’re streamers now Over the years, we’ve built many high-impact tools that we use for security revie... 2022-11-14 21:30:23 | 阅读: 12 | 收藏 | blog.trailofbits.com invariants workshops wednesday jacob anish

Look out! Divergent representations are everywhere! By Andreas KellasTrail of Bits recently published a blog post about a signed int... 2022-11-10 20:30:53 | 阅读: 12 | 收藏 | blog.trailofbits.com divergent escarg

We sign code now By William WoodruffSigstore announced the general availability of its free and e... 2022-11-8 20:30:15 | 阅读: 26 | 收藏 | blog.trailofbits.com sigstore python fulcio x509v3 rekor

Stranger Strings: An exploitable flaw in SQLite By Andreas KellasTrail of Bits is publicly disclosing CVE-2022-35737, which affe... 2022-10-25 19:30:10 | 阅读: 33 | 收藏 | blog.trailofbits.com escarg sqlite3 quote bufpt snprintf

We do Windows now At Trail of Bits, we pride ourselves on building tools that everyone can use to h... 2022-10-18 19:30:48 | 阅读: 35 | 收藏 | blog.trailofbits.com security windows trail analysis internals

Porting the Solana eBPF JIT compiler to ARM64 By Andrew Haberlandt During my summer internship at Trail of Bits, I worked on t... 2022-10-12 20:0:55 | 阅读: 31 | 收藏 | blog.trailofbits.com rbpf ebpf solana memory translation

Working on blockchains as a Trail of Bits intern By Vara Prasad BandaruEarlier this year, I successfully completed my internship... 2022-10-5 21:0:42 | 阅读: 19 | 收藏 | blog.trailofbits.com internship trail tealer blockchain ctfs

Secure your machine learning with Semgrep By Suha Husseintl;dr: Our publicly available Semgrep ruleset now has 11 rules de... 2022-10-3 21:0:53 | 阅读: 26 | 收藏 | blog.trailofbits.com numpy torch pytorch python pickle

It pays to be Circomspect By Fredrik Dahlgren, Staff Security EngineerIn October 2019, a security research... 2022-9-15 12:0:43 | 阅读: 18 | 收藏 | blog.trailofbits.com circom zkps circomspect tornado computation

Magnifier: An Experiment with Interactive Decompilation By Alan ChangToday, we are releasing Magnifier, an experimental reverse engineer... 2022-8-25 21:0:30 | 阅读: 21 | 收藏 | blog.trailofbits.com magnifier magnifierui rellic

Using mutants to improve Slither By Alex Groce, Northern Arizona UniversityImproving static analysis tools can be... 2022-8-17 21:0:12 | 阅读: 18 | 收藏 | blog.trailofbits.com mutants slither analysis mutant smartcheck

The road to the apprenticeship By Josselin Feist, Principal Security EngineerFinding talent is hard, especially... 2022-8-12 21:0:13 | 阅读: 21 | 收藏 | blog.trailofbits.com blockchain apprentices security apprentice

Shedding smart contract storage with Slither By Troy Sargent, Blockchain Security EngineerYou think you’ve found a critical b... 2022-7-28 21:0:7 | 阅读: 30 | 收藏 | blog.trailofbits.com slither frax pools slot0

libmagic: The Blathering By Evan Sultanik, Principal Security EngineerA couple of years ago we released P... 2022-7-1 19:0:27 | 阅读: 31 | 收藏 | blog.trailofbits.com libmagic polyfile dsl endian offsets

A Typical Day as a Trail of Bits Engineer-Consultant Wherever you are in the world, a typical day as a Trail of Bits Engineer-Consulta... 2022-6-30 21:0:29 | 阅读: 14 | 收藏 | blog.trailofbits.com trail meetings morning remote