BPELlint
BPEL file analyzer
Analyzes BPEL files for compliance with 71 static analysis rules from the BPEL 2.0 specification.
Validation tool which statically analyzes BPEL files using the statical analysis rules from the BPEL 2.0 specification.
5 stars
8 watching
1 forks
Language: Java
last commit: almost 10 years agoLinked from 1 awesome list
ungerts/awesome-bpmRelated projects:
| Repository | Description | Stars |
|---|---|---|
| uniba-dsg/bpmnspector | Tools for static analysis of BPMN 2.0 process models to ensure compliance with standards | 12 |
| uniba-dsg/bpp | Detects portability issues in BPEL code to ensure compatibility across different engines and environments. | 4 |
| uniba-dsg/betsy | Conformance testing tool for BPEL/BPMN engines | 20 |
 dluebke/bpelstats | A tool for calculating and analyzing BPEL metrics | 0 |
 mbechler/serianalyzer | Analyzes Java bytecode to identify potential deserialization vulnerabilities. | 240 |
 dragon-dreamer/binary-valentine | An executable file analyzer tool that detects security, configuration, optimization, system, and format issues in Windows executables | 18 |
 sjednac/coffea | Analyzes static dependencies in Java bytecode to model its internal structure and connections | 14 |
 airbus-seclab/bincat | A toolset for analyzing binary code with IDA integration and support for value, taint analysis, type reconstruction, and detection of use-after-free and double-free bugs. | 1,706 |
 bplawler/crawler | A Scala-based DSL for programmatically accessing and interacting with web pages | 149 |
 binaryanalysisplatform/bap | A comprehensive toolkit for analyzing and understanding binary programs | 2,079 |
 lightbend-labs/mima | Identifies binary incompatibilities in Scala libraries to ensure release-to-release compatibility. | 462 |
 tklengyel/drakvuf | A system for analyzing arbitrary binaries without installing additional software within a virtual machine | 1,074 |
 cmu-sei/pharos | Automated analysis of binary programs to detect and recover object-oriented structures and API calls. | 1,569 |
 storyyeller/krakatau | A toolset for analyzing and manipulating Java bytecode | 2,003 |
 iosiro/baserunner | A tool to explore and analyze Firebase datastores | 211 |