Linking pages
Linked pages
- Infer Static Analyzer | Infer | Infer https://fbinfer.com/ 53 comments
- Obsidian Programming Language http://obsidian-lang.com/ 31 comments
- GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution https://github.com/trailofbits/deepstate 18 comments
- [1810.12041] SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer https://arxiv.org/abs/1810.12041 3 comments
- https://softsec.kaist.ac.kr/~jschoi/data/icse2019.pdf 2 comments
- [1701.07232] Learn&Fuzz: Machine Learning for Input Fuzzing https://arxiv.org/abs/1701.07232 0 comments
- How We Fared in the Cyber Grand Challenge | Trail of Bits Blog https://blog.trailofbits.com/2015/07/15/how-we-fared-in-the-cyber-grand-challenge/ 0 comments
- Fuzzing Unit Tests with DeepState and Eclipser | Trail of Bits Blog https://blog.trailofbits.com/2019/05/31/fuzzing-unit-tests-with-deepstate-and-eclipser/ 0 comments
- GitHub - crytic/slither: Static Analyzer for Solidity https://github.com/crytic/slither 0 comments
- Slither: The Leading Static Analyzer for Smart Contracts | Trail of Bits Blog https://blog.trailofbits.com/2019/05/27/slither-the-leading-static-analyzer-for-smart-contracts/ 0 comments
- GitHub - lifting-bits/mcsema: Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode https://github.com/trailofbits/mcsema 0 comments
- GitHub - trailofbits/manticore: Symbolic execution tool https://github.com/trailofbits/manticore/ 0 comments
Related searches:
Search whole site: site:blog.trailofbits.com
Search title: Trail of Bits @ ICSE 2019 – Recap | Trail of Bits Blog
See how to search.