With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
The most advanced C and C++ source code analyzer
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
The project has been moved to https://github.com/metrixplusplus/metrixplusplus
______________________
Metrix++ is an extendable tool to collect and analyse code metrics.
- Multiple languages supported
- Multiple metrics available
- Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want.
- High-performance. Processes thousands of files per minutes.
-...
WELCOME TO THE SPLOITFRAMEWORK
SPLOIT COMES WITH A PAYLOAD OF THINGS
FOR ALL YOUR HACKING NEEDS, SUCH AS
1. Email Phishing
2. Spear Phishing
3. Spoofing
4. Credential Harvester
5. Kayloggers
6. Tabnabbing
And More . . .
PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
XRay is an analysis tool built upon your SCMs, aimed to consolidade project statistics from many repositories in a single tool, generating code reports and development statistics obtained from log data and file versions.
Kryptos is a versatile and user-friendly platform designed to simplify cryptocurrency tax management and portfolio tracking.
Kryptos is ideal for cryptocurrency investors, businesses, and accountants seeking efficient portfolio management and tailored tax solutions.
Generate quick tax reports with Kryptos: Ultimate tax reporting platform, backed by Binance, for seamless tax reporting across 30+ countries, 3000+ DeFi protocols, 100+ wallets & exchanges, 50+ blockchains, NFTs and much more.