appsec.guide Open in urlscan Pro
2606:50c0:8002::153  Public Scan

Form analysis
0 forms found in the DOM

Text Content

TESTING HANDBOOK


 * Static analysis
   * CodeQL
     * Installation and first steps
     * Advanced usage
     * Continuous integration
     * Additional resources
   * Semgrep
     * Installation and first steps
     * Advanced usage
     * Continuous integration
     * In your organization
     * Additional resources

Introduction
 * Testing tools
   * Why is this needed?
   * Tools
 * Trail of Bits custom queries for static analysis tools
 * Feedback


TRAIL OF BITS TESTING HANDBOOK #


TESTING TOOLS #

The Testing Handbook is a resource that guides developers and security
professionals in configuring, optimizing, and automating many of the static and
dynamic analysis tools we use at Trail of Bits.

In our day-to-day work, we audit software projects ranging from cloud-native
software to embedded devices. We often find issues that should be easy to spot
early in development with the correct security tooling, but that make their way
across the software lifecycle undetected.

We hope to assist development teams across technology stacks in their quest to
improve the security posture of their software by providing practical
documentation they can apply when performing security analyses of their
codebases.


STRAIGHTFORWARD #

We aim to make it as straightforward as possible to set up security tools
effectively across all steps of the software development lifecycle.


DEMYSTIFIED #

In doing so, we also hope to demystify static and dynamic analysis techniques
such as fuzzing and taint analysis.


WHY IS THIS NEEDED? #

 * The documentation for configuring and optimizing existing tools is often not
   developer friendly, as it is often targeted at security professionals. This
   is especially the case with fuzzing utilities. This lack of easy-to-follow
   documentation can lead to frustration and poor adoption of security tools
   that should be straightforward to configure.
 * Even if the tool is easy to configure locally, it can be difficult to
   configure it in a CI/CD pipeline.
 * Often, security tools are set up by following the online documentation, but
   their configuration is rarely optimized. This lack of tuning can lead to
   noisy tool results that are more frustrating than they are helpful.


TOOLS #

We currently cover the following tools:

STATIC ANALYSIS #

 * Semgrep
 * CodeQL

DYNAMIC ANALYSIS #

 * Fuzzing. Coming soon!

We are working on expanding the tools we cover here. We are also planning to
cover several dynamic analysis tools. Stay tuned for updates from our team!


TRAIL OF BITS CUSTOM QUERIES FOR STATIC ANALYSIS TOOLS #

One of our core objectives at Trail of Bits is to uncover and solve problems
that are likely to recur. This is where our custom queries come into play. Built
on the knowledge and expertise of our entire team, they provide proactive,
effective security for your software projects.

Trail of Bits public Semgrep rules

Navigate to the root folder of your project and use them right away:

semgrep --config "p/trailofbits"


Trail of Bits public CodeQL queries

To install our public CodeQL queries for C, C++ and Go, simply run codeql pack
download:

codeql pack download trailofbits/cpp-queries trailofbits/go-queries


To run our queries for C and C++ on an existing database, you can now run the
following command:

codeql database analyze codeql.db --format=sarif-latest --output=results.sarif -- trailofbits/cpp-queries



FEEDBACK #

We want to actively maintain the highest possible quality and expand the content
of Testing Handbook. If you see a way to improve the Testing Handbook, please
let us know! The best way to let us know is by raising an issue directly on the
Testing Handbook GitHub page.

Edit this page | Trail of Bits | Trail of Bits Blog | Contact us
This content is licensed under a Creative Commons Attribution 4.0 International
license.

 * Testing tools
   * Why is this needed?
   * Tools
 * Trail of Bits custom queries for static analysis tools
 * Feedback