An automated SBoM Generation/Consumption Tool for Software Supply Chain Security
An automated SBoM Generation/Consumption Tool for Software Supply Chain Security
A vulnerability analysis based on static testing and automated verification
A vulnerability analysis based on dynamic testing and automated verification
Analyze Open Source Software
Create One-Level dependency SBoM
Analyze similarity between two sets of source code
Bulid SBoM
Visualize/Translate SBoM
Merge/Diff SBoM
Validate SBoM
Generate Binary SBoM
Detect vulnerable code clones in the source code
Verify potential vulnerabilities in source code
Detect memory safety issues in the source code
Detect vulnerable code clones in the binary executable
Automatic inference of command line options in binaries
Verify vulnerabilities in Solidity smart contract source code
Detect vulnerable code clones in Solidity smart contract source code
Automatic analysis of vulnerabilities in the wireless interface
(Bluetooth, Wi-Fi, ZigBee, Z-Wave)
Grey-box fuzzer for Ethereum smart contracts
Random-based binary fuzzing with grey-box concolic testing technique
Detect TLS vulnerabilities for the target server
Detect TLS vulnerabilities for the client