Stensal™ SDK

Accelerate the remediation of security critical memory access violations

Demystifying segmentation faults has never been so easy

Free for open source projects
stensal /ˈstensəl/ noun 1. an application-wise memory sandbox that confines where data can be written and read at runtime as stencil confines where pigment can reach a surface at usage.

Stensal SDK noun 1. a software development kit that compiles C/C++ code to stensal-ed binaries which can detect all memory access violations and report them with zero false positive rate.

Stensal Services

Stensal SDK in the Cloud

  • Free for open source projects
  • Stensal SDK with third party packages
  • Online support
  • Self-serving
  • Sign up For Beta Program

Stensal Testing Service

  • Free for open source projects
  • Build and test your product with Stensal SDK
  • Guarantee to report issues without false positives
  • Sign up For Beta Program

Features that developers love

Check security critical memory access violations

  • Out-of-bounds array access
  • Use-after-free
  • Double free

Report deterministic messages

The deterministic and unambiguous memory accession violation messages boost up the collaboration level between security engineers and developers, and speed up the remediation of security critical memory access violations.

Comparision with other memory error finding tools

Stensal SDK Address Sanitizer* Valgrind**
Detecting memory access violations
Out-of-bounds access of stack-allocated array +++ + -
Out-of-bounds access of heap-allocated array +++ + +
Out-of-bounds access of global array +++ - -
Null (and uninitialized) pointer dereference +++ +++ +++
Use-after-free (stack-allocated) ++ - -
Use-after-free (heap-allocated) ++ - +
Double free ++ + +
Error Reporting
Report the cause +++ + +
Report source location +++ + +
Report backtrace +++ + +
Linking type supported
Static linking
Dynamic linking

+++always, ++very high probability, +most times, -never, and ✔ supported
* clang-7.0.0; ** valgrind-3.10