Search Results for "amine-platform"

Joern is a platform for analyzing source code, bytecode, and binary executables. It generates code property graphs (CPGs), a graph representation of code for cross-language code analysis. Code property graphs are stored in a custom graph database. This allows code to be mined using search queries formulated in a Scala-based domain-specific query language.

The OpenRewrite project is a mass source code refactoring ecosystem. Reduce 1000s of hours of static code analysis fixes to minutes. Turn a four-month migration project into four hours of work. Patch security vulnerabilities across 100s of repositories at once. OpenRewrite automates code refactoring and remediation tasks for you, enabling developers to deliver more business value. OpenRewrite's refactoring engine and recipes will always be open-source. Build tool plugins like OpenRewrite...

📝 NotepadXX is your all-in-one, cross-platform text editor — lightning-fast, powerful, and designed to boost your productivity. Built with Java and optimized for Windows & Linux, it combines the simplicity of Notepad with advanced features modern developers love. 🔥 Key Highlights: Real-time code linting (ANTLR-powered) with tooltips Live Markdown preview (split view or pop-out) Built-in terminal, file explorer & browser launchers 6 beautiful themes (Dark, Light, Darcula, macOS) Blazing-fast UI with JavaFX/Swing hybrid Fully offline & privacy-respecting (zero telemetry) 🐞 Bug Fixes in v1.2.1 Fixed crash when Markdown Preview is triggered on systems without JavaFX (now shows a friendly error message). ...

...This can potentially reduce building time from small programs to huge solutions. This tool is not finalized and new versions will follow, with a GUI with even more features. The project is written in Java to ensure cross-platform compatibility.

Thymeleaf Property Extractor (ThExtractor in short) is a java-written app that given a folder or a html file, extracts every Thymeleaf localisation tags (for example: th:text="#{myString}") to a properties file, to ease and fasten the development of your Spring web app. It's really easy to use! Just run the jar, and browse for your HTML (or a folder containing them) in the first field, and browse for a target .properties file (or create one!) in the second field. And then... do magic!

...Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Provide metrics calculation and dependency analyzer plugin for the Eclipse platform. Measure metrics with avg and std deviation and detect cycles in package and type dependencies. Continuation of work from http://sourceforge.net/projects/metrics.