11 packages found

de.jplag:language-api

Language API for JPlag language modules
  1. academic-dishonesty
  2. code-similarity
  3. collusion-detection
  4. computer-science
  5. cs-education
  6. education
  7. learn-to-code
  8. online-learning
  9. plagiarism
  10. plagiarism-check
  11. plagiarism-checker
  12. plagiarism-checking
  13. plagiarism-detection
  14. plagiarism-detector
  15. plagiarism-prevention
  16. program-analysis
  17. programming-education
  18. software-plagiarism
  19. source-code-analysis
  20. source-code-plagiarism
45 Contributors
6.0.0published 2 months agoGPL-3.0

com.ibm.wala:com.ibm.wala.shrike

T. J. Watson Libraries for Analysis
  1. android
  2. callgraph
  3. dataflow-analysis
  4. java
  5. javascript
  6. pointer-analysis
  7. program-analysis
  8. slicing
  9. static-analysis
  10. static-code-analysis
49 Contributors
1.6.9published 5 months agoEPL-2.0

mythril

Security analysis tool for Ethereum smart contracts
  1. hacking
  2. disassembler
  3. security
  4. ethereum
  5. blockchain
  6. program-analysis
  7. security-analysis
  8. smart-contracts
  9. solidity
  10. symbolic-execution
89 Contributors
0.24.8published 1 year agoMIT

com.ibm.wala:com.ibm.wala.core

T. J. Watson Libraries for Analysis
  1. android
  2. callgraph
  3. dataflow-analysis
  4. java
  5. javascript
  6. pointer-analysis
  7. program-analysis
  8. slicing
  9. static-analysis
  10. static-code-analysis
49 Contributors
1.6.9published 5 months agoEPL-2.0

pyre-check

A performant type checker for Python
  1. typechecker
  2. development
  3. abstract-interpretation
  4. code-quality
  5. control-flow-analysis
  6. ocaml
  7. program-analysis
  8. python
  9. security
  10. static-analysis
  11. taint-analysis
  12. type-check
191 Contributors
0.9.23published 6 months agoMIT

pastis-framework

PASTIS framework for collaborative fuzzing
  1. fuzzing
  2. program-analysis
  3. symbolic-execution
  4. vulnerability-research
1.0.13published 8 months agoAGPL-3.0

qbindiff

QBindiff binary diffing tool based on a Network Alignment problem
  1. binary-diffing
  2. network-alignment
  3. program-analysis
  4. reverse-engineering
  5. vulnerability-research
5 Contributors
1.2.2published 10 months agoApache-2.0

com.ibm.wala:com.ibm.wala.util

T. J. Watson Libraries for Analysis
  1. android
  2. callgraph
  3. dataflow-analysis
  4. java
  5. javascript
  6. pointer-analysis
  7. program-analysis
  8. slicing
  9. static-analysis
  10. static-code-analysis
49 Contributors
1.6.9published 5 months agoEPL-2.0

com.ibm.wala:com.ibm.wala.cast.java

T. J. Watson Libraries for Analysis
  1. android
  2. callgraph
  3. dataflow-analysis
  4. java
  5. javascript
  6. pointer-analysis
  7. program-analysis
  8. slicing
  9. static-analysis
  10. static-code-analysis
49 Contributors
1.6.9published 5 months agoEPL-2.0

com.ibm.wala:com.ibm.wala.cast

T. J. Watson Libraries for Analysis
  1. android
  2. callgraph
  3. dataflow-analysis
  4. java
  5. javascript
  6. pointer-analysis
  7. program-analysis
  8. slicing
  9. static-analysis
  10. static-code-analysis
49 Contributors
1.6.9published 5 months agoEPL-2.0
Showing 1 to 10 of 11 results