All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Complete source code for Jinq available for download in JAR file format


    Welcome to the Jinq Source Code Download page. Here, you can easily obtain the JAR file for the Jinq library, which contains the complete source code. Explore its features, functionality, and enhance your Java projects with this powerful tool. Download now!

    Files of the artifact analysis version 2.0.0 from the group org.jinq.

    Test

    Artifact analysis
    Group org.jinq
    Version 2.0.0
    Last update 26. August 2022
    Tags: symbolic execution jinq framework java code performing analysis
    Organization not specified
    URL Not specified
    License not specified
    Dependencies amount 2
    Dependencies jinq-asm-rebased, api,
    There are maybe transitive dependencies!
    There is a newer version: 2.0.2
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of analysis Show documentation

    Please rate this JAR file. Is it a good library?

    4 downloads

    Source code of analysis version 2.0.0

    META-INF
    META-INF.META-INF.MANIFEST.MF
    ch.epfl.labos.iu.orm.queryll2.path
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.Annotations
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.CFG
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.CodePath
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.MethodAnalysisResults
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffect
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffectCall
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffectFieldAssign
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.PathAnalysis
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisFactory
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisMethodChecker
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSimplifier
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.StaticMethodAnalysisStorage
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.SymbExBooleanRewriter
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.SymbExSimplifier
    ch.epfl.labos.iu.orm.queryll2.path.ch.epfl.labos.iu.orm.queryll2.path.TransformationClassAnalyzer
    ch.epfl.labos.iu.orm.queryll2.symbolic
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.BasicSymbolicInterpreter
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.ConstantValue
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.FrameWithHelpers
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.InterpreterWithArgs
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.LambdaFactory
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.MethodCallValue
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.MethodSignature
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.SymbolicInterpreterWithFieldAccess
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValuePostfixWalker
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueRewriterWalker
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueVisitor
    ch.epfl.labos.iu.orm.queryll2.symbolic.ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueVisitorException
    com.user00.thunk
    com.user00.thunk.com.user00.thunk.SerializedLambda
    .module-info




    © 2015 - 2024 Weber Informatics LLC | Privacy Policy