Part 2: Improving crypto code in Rust using LLVM’s optnone By Henrik BrodinLet’s implement crypto!Welcome to the second part of our posts... 2022-2-1 20:0:25 | 阅读: 32 | 收藏 | blog.trailofbits.com i32 optimize i1 rustc noinline

Part 1: The life of an optimization barrier By Fredrik DahlgrenMany engineers choose Rust as their language of choice for i... 2022-1-26 20:0:35 | 阅读: 28 | 收藏 | blog.trailofbits.com i32 barrier memory turbofan timing

C your data structures with rellic-headergen By Francesco BertolacciniHave you ever wondered how a compiler sees your data st... 2022-1-19 20:0:12 | 阅读: 35 | 收藏 | blog.trailofbits.com rellic headergen bitcode structs dw

Finding unhandled errors using CodeQL By Fredrik DahlgrenOne of your developers finds a bug in your codebase—an unhand... 2022-1-11 20:0:58 | 阅读: 49 | 收藏 | blog.trailofbits.com dataflow codebase taint predicate

Toward a Best-of-Both-Worlds Binary Disassembler By Stefan NagyThis past winter, I was fortunate to have the opportunity to work... 2022-1-5 20:0:51 | 阅读: 47 | 收藏 | blog.trailofbits.com disassembly analysis datalog lojekyll

Celebrating our 2021 Open Source Contributions At Trail of Bits, we pride ourselves on making our best tools open source, such a... 2021-12-31 20:0:56 | 阅读: 28 | 收藏 | blog.trailofbits.com packaging osquery windows github libs

Disclosing Shamir’s Secret Sharing vulnerabilities and announcing ZKDocs By Filipe Casal and Jim MillerTrail of Bits is publicly disclosing two bugs that... 2021-12-21 20:0:4 | 阅读: 32 | 收藏 | blog.trailofbits.com schemes polynomial threshold network swingby

Detecting MISO and Opyn’s msg.value reuse vulnerability with Slither By Simone MonicaOn August 18, 2021, samczsun reported a critical vulnerability i... 2021-12-17 03:00:49 | 阅读: 50 | 收藏 | blog.trailofbits.com slither detectors sol payable

What does your code use, and is it vulnerable? It-depends! You just cloned a fresh source code repository and want to get a quick sense of i... 2021-12-16 22:00:14 | 阅读: 35 | 收藏 | blog.trailofbits.com repository library python autotools

MUI: Visualizing symbolic execution with Manticore and Binary Ninja By Alan Chang, University of OxfordDuring my summer internship, I had the wonder... 2021-11-17 21:00:55 | 阅读: 44 | 收藏 | blog.trailofbits.com mui symbolic manticore internship evm

How to choose an interesting project By Trent Brunson, Head of Research & EngineeringOriginally published on October... 2021-11-12 14:09:53 | 阅读: 33 | 收藏 | blog.trailofbits.com career trail software irad commitment

Motivating global stabilization By Samuel Moelius, Staff EngineerOriginally published on October 12, 2021Consen... 2021-11-12 00:39:56 | 阅读: 33 | 收藏 | blog.trailofbits.com gst assumption processes flp delayed

Announcing osquery 5: Now with EndpointSecurity on macOS By Sharvil Shah, Senior Software EngineerOriginally published on October 6, 2021... 2021-11-10 14:56:19 | 阅读: 38 | 收藏 | blog.trailofbits.com osquery osqueryi xcsnginx developer

All your tracing are belong to BPF By Alessandro Gario, Senior Software EngineerOriginally published August 11, 202... 2021-11-10 02:00:48 | 阅读: 38 | 收藏 | blog.trailofbits.com memory callee getint64 getint64ty poll

PrivacyRaven: Implementing a proof of concept for model inversion By Philip Wang, InternOriginally published August 3, 2021During my Trail of Bit... 2021-11-09 14:45:55 | 阅读: 38 | 收藏 | blog.trailofbits.com inversion classifier trained auxiliary

Discovering goroutine leaks with Semgrep By Alex Useche, Security EngineerOriginally published May 10, 2021While learnin... 2021-11-09 14:22:44 | 阅读: 37 | 收藏 | blog.trailofbits.com semgrep goroutines concurrency anonymous hanging

Write Rust lints without forking Clippy By Samuel Moelius, Staff EngineerOriginally published May 20, 2021This blog pos... 2021-11-09 14:22:40 | 阅读: 30 | 收藏 | blog.trailofbits.com dylint lints clippy lint literal

Solar: Context-free, interactive analysis for Solidity We’re hiring for our Research + Engineering team! By Aaron Yoo, University of Ca... 2021-04-02 13:52:39 | 阅读: 180 | 收藏 | blog.trailofbits.com solar overflow analysis pane constraints

A Year in the Life of a Compiler Fuzzing Campaign By Alex Groce, Northern Arizona UniversityIn the summer of 2020, we described ou... 2021-03-24 00:00:37 | 阅读: 155 | 收藏 | blog.trailofbits.com solc compilers solidity mutation fuzzer

Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace By Allison Husain, UC BerkeleyToday, we are releasing an experimental coverage-g... 2021-03-19 23:00:15 | 阅读: 175 | 收藏 | blog.trailofbits.com ipt honeybee honggfuzz overhead analysis