Search Results for "source code static anala"
Sort By:
Showing 8 open source projects for "source code static anala"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
Clj-kondo
A linter for Clojure code that sparks joy
A linter for Clojure code that sparks joy. Clj-kondo performs static analysis on Clojure, ClojureScript and EDN, without the need of a running REPL. It informs you about potential errors while you are typing. To detect lint errors across namespaces in your project, a cache is needed. To let clj-kondo know where to create one, make a .clj-kondo directory in the root of your project, meaning on the same level as your project.clj, deps.edn or build.boot. A cache will be created inside of it... -
2
Dev Cheatsheets
A collection of code snippets and CLI guides for quick reference
A collection of code snippets and CLI guides for quick and easy reference while coding. Coding ingredients or building blocks. This is about having a central reference for language syntax or CLI features, without having to wade through docs and tutorials and StackOverflow. A reference for how to use a CLI tool, language or library. It’s mean to be a quick reference so you can get what you need without having to scroll or navigate a lot. Including syntax but emphasizing real world examples.... -
3
GitHub Action to Sync S3 Bucket
GitHub Action to sync a directory with a remote S3 bucket
This simple action uses the vanilla AWS CLI to sync a directory (either from your repository or generated during your workflow) with a remote S3 bucket.As of v0.3.0, all aws s3 sync flags are optional to allow for maximum customizability (that's a word, I promise) and must be provided by you via args. --acl public-read makes your files publicly readable (make sure your bucket settings are also set to public). --follow-symlinks won't hurt and fixes some weird symbolic link problems that may... -
4
awesome-ci
Awesome Continuous Integration
awesome-ci is a suite of command-line tools aimed at enhancing Continuous Integration (CI) workflows. It focuses on static code analysis, syntax checking, and file validation to maintain code quality across projects. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are... -
6
DiffReport
Code Difference report
Often I have seen some Huge Maintenance Projects it is always very difficult to track the incremental files for each release and If we want to do that we need to checkout both the branches and use some UI based tool to get the diff of the files finally we end up waiting in front of the PC for a long time and do this job. In many cases we spend more than 2 hrs/day. The time increases if there are more such parallel releases and at the end of the day 1 developer does it as full time job and... -
7
torque - Automation Testing Tool
Automation unit testing tool for C & C++ on Linux platform
...It covers major testing areas such as Unit Testing, Functional Testing and Regression Testing. Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture -
8
CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
- Previous
- You're on page 1
- Next