Source code analysis Software


  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

Status Status

Audience Audience

User Interface User Interface

Freshness Freshness

Source code analysis Software

  • Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
    Focus on your Business with an integrated Business Cloud Icon

    Reliable & Secure Business Phone Systems

    • No contracts, no cancellation fees, over 40 features
    • 99.999% financially backed uptime SLA
    • Free, expert support, certified by J.D. Power
  • component-watch Icon


    Describe and watch component structure of java programs

    "Component-Watch" is a tool discovering, showing and assessing the structure of (big) java programs from their classes. It finds what are the components composing a program, analyse what are the relations between those components and compare those the the permitted relations between components. The tool helps to easily define and display UML-like diagrams showing components and their relationship.

    Downloads: 2 This Week Last Update: See Project
  • DejaCode  Icon


    A community website dedicated to sharing information and solutions for automated compliance with open source license requirements. The ABOUT Project A simple idea to keep software provenance data close to the code The ABOUT tool and ABOUT files provide a simple way to document the provenance (origin and license) and other important or interesting information about third-party software components that you use in your project. The tool is a command line based utility written in Python, released under Apache 2.0, and is available on GitHub.

    Downloads: 0 This Week Last Update: See Project
  • JCycles

    [frozen] A library for computing cycles in graphs or in Java code.

    [This project is frozen, but has an offspring with more features: ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (< Integer.MAX_VALUE vertices). Requires Java 5 or later.

    Downloads: 0 This Week Last Update: See Project
  • JavaRequirementsTracer

    THE tool for monitoring traceability between requirements and Java code. Create a traceability matrix using annotations. Report format: HTML.

  • 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 it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. Other Projects and pages of the team's members: (by Andreas Eberle and Michael Zangl)

    Downloads: 0 This Week Last Update: See Project
  • KnownDefects

    KnownDefects is a simple annotation library for use when writing unit tests against existing code. This annotation can be used to mark the tests that highlight defective behavior. FindBugs can then be used to find all instances of the annotation.

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you