Search Results for "binary analysis tool" - Page 7
Sort By:
Showing 161 open source projects for "binary analysis tool"
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.
-
Cloud tools for web scraping and data extractionAutomate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
-
1
The Java Software Metrics Evaluation & Graphing tool is a source code analyser providing metrics analysis and graphical representation of Java code. The system presents code in a graphical format and allows software metrics calculations to be performed.
-
2
The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.
-
3
Transmogrify is a code analysis/manipulation tool for Java whose current focus is refactoring. There are also the beginnings of a lint tool and a code twiddler (makes changes to code that aren't refactorings).
-
4
What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis
-
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
5
EpiT Basic - Automation Testing Tool
Automation testing tool for generating test cases from java codes
Most software development will use a standard software development life cycle (SDLC). In SDLC, four phases are involved during development of any system. They are analysis, design, implement and testing. During testing phase, test cases are used in order to test the functionalities of the system developed. Test cases are generally extracted from the source codes manually. This paper presents an alternative approach to automate the process of generating the test cases by developing an eclipse plug-in tool. ... -
6
Prime
Programming with Millions of Examples
Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction. -
7
SPUDS (Software Productivity at University of Savoie) is a tool to help software development. This tool will be composed of several utilities: Software metrics, code analysis, and model-driven engineering. This is part of research work.
-
8
Open Source License Checker V.3 is tool for inspection and analysis of lisence information from open source packages.
-
9
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... -
D&B Hoovers is Your Sales AcceleratorSpeed up sales prospecting with the rich audience targeting capabilities of D&B Hoovers so you can spend more sales time closing.
-
10
JDiag is an open source system information/diagnostics tool written in Java. It gathers information from various places in the system and places it into one log file for easy analysis by computer professionals.
-
11
QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
