Search Results for "java to c" - Page 2
Sort By:
Showing 48 open source projects for "java to c"
View related business solutions-
Your top-rated shield against malware and online scams | Avast Free AntivirusOur antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
-
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.
-
1
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
-
2
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
-
3
SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.
-
4
Simple, straight-forward examples of FIT/FitNesse fixtures for Java and .NET test environments. Documentation and examples are available in the form of a live FitNesse wiki and PDF.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
-
6
Columbo reads source code in different languages like COBOL, JCL, CMD and transposes it to graphical views, measures and semantically equivalent texts based on xml. It also investigates into technical bugs.
-
7
STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing
-
8
Java-based analysis tool for Java, C++ or C# projects. Calculates metrics described by authors like Robert C. Martin, Craig Larman and John Lakos. Analyzes dependencies and detects cycles. Verifies the logical architecture against the physical implementa
-
9
inspectorJ is a cross platform java profiler with a graphical client that allows for profiling remote jvms. inspectorj is pre-alpha and is currently under development.
-
MongoDB Atlas | Run databases anywhereMongoDB Atlas allows you to build and run modern applications across 125+ cloud regions, spanning AWS, Azure, and Google Cloud. Its multi-cloud clusters enable seamless data distribution and automated failover between cloud providers, ensuring high availability and flexibility without added complexity.
-
10
CppNcss provides various measurements (also known as metrics) by statically analyzing C++ source code, mainly aiming at evaluating maintainability.
-
11
A framework for abstract access to CM / SCM / SCCM / ALM systems (Bugzilla, ClearCase, Mantis, StarTeam, etc.). The project offers one SDK for Bugzilla, ClearCase, Mantis, StarTeam, etc.
-
12
Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.
-
13
JMonitoring and NMonitoring are monitoring frameworks for Java and .Net applications, based on AOP (AspectJ and AspectDNG). Data are stored in database, memory or XML and can be consulted with a web console. http://forge.octo.com/confluence/display/JMO
-
14
Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.
-
15
Artistic Style Eclipse Plugin for formatting C/C++ source files, it aims to be used for CDT environment
-
16
This JOYTASK project was created by using PHP and MySQL (might support more databases in future), it can be used to manage the progress of all your projects, tasks, etc. multi-users can works together to handle them.
-
17
The Java-Based-GUI-Test-Automation-Library (jabuta) provides the possibility to test software on a GUI-based level.
-
18
Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.
-
19
CCCC is a tool which analyzes C++ and Java files and generates a report on various metrics of the code. Metrics supported include lines of code, McCabe's complexity and metrics proposed by Chidamber&Kemerer and Henry&Kafura.
-
20
Round Trip Engineering Objects. Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)
-
21
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
-
22
Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.
-
23
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
