toggle menu
codyze
jvm
switch theme
cpg
de.
fraunhofer.
aisec.
codyze.
backends.
cpg
CPGBackend
CPGConfiguration
CPGOption
Group
de.
fraunhofer.
aisec.
codyze.
backends.
cpg.
cli
Base
Cpg
Backend
Command
Coko
Cpg
Backend
Command
de.
fraunhofer.
aisec.
codyze.
backends.
cpg.
coko
Coko
Cpg
Backend
Cpg
Finding
get
Sarif
Location()
Nodes
sarif
Region
de.
fraunhofer.
aisec.
codyze.
backends.
cpg.
coko.
dsl
all
Result()
and()
any
Result()
cpg
cpg
Call()
cpg
Call
Fqn()
cpg
Constructor()
cpg
Flows
To()
cpg
Get
All
Nodes()
cpg
Get
Nodes()
cpg
Member
Expr()
cpg
Signature()
cpg
Variable()
cpg
Variable
Fqn()
find
Usages()
Result
Companion
VALID
INVALID
OPEN
de.
fraunhofer.
aisec.
codyze.
backends.
cpg.
coko.
evaluators
Argument
Evaluator
Cpg
Whenever
Evaluator
Dummy
Node
Evaluation
Result
Problems
Follows
Evaluator
Only
Never
Evaluator
Functionality
ONLY
NEVER
Order
Evaluator
Precedes
Evaluator
de.
fraunhofer.
aisec.
codyze.
backends.
cpg.
coko.
modelling
Cpg
Backend
Data
Item
to
Backend
Data
Item()
de.
fraunhofer.
aisec.
codyze.
backends.
cpg.
coko.
ordering
Codyze
Dfa
Order
Evaluator
logger
to
Nfa()
codyze-cli
de.
fraunhofer.
aisec.
codyze.
cli
backend
Commands
Codyze
Cli
Codyze
Option
Group
config
File
Option()
Config
File
Parser
executor
Commands
Json
Value
Source
Companion
main()
output
Builders
plugins
codyze-core
de.
fraunhofer.
aisec.
codyze.
core
timed()
Version
Provider
de.
fraunhofer.
aisec.
codyze.
core.
backend
Backend
Backend
Command
Backend
Configuration
Backend
Options
de.
fraunhofer.
aisec.
codyze.
core.
config
combine
Sources()
Configuration
resolve
Paths()
de.
fraunhofer.
aisec.
codyze.
core.
executor
Executor
Executor
Command
Executor
Configuration
Executor
Options
de.
fraunhofer.
aisec.
codyze.
core.
output
Output
Builder
Sarif
Builder
de.
fraunhofer.
aisec.
codyze.
core.
output.
aggregator
Aggregate
extract
Last
Run()
de.
fraunhofer.
aisec.
codyze.
core.
plugin
logger
Plugin
Plugin
Option
Group
coko-core
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
core
Call
Assertion
Call
Location
Call
Location
Builder
Coko
Backend
Coko
Marker
Coko
Rule
Direction
Afterwards
Before
Somewhere
Evaluation
Context
Evaluator
Finding
Kind
Fail
Informational
Not
Applicable
Open
Pass
Review
List
Builder
Scope
Function
Block
to
Result
Level()
Whenever
Evaluator
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
core.
dsl
Arguments
at
Least()
between()
Condition
condition()
Conditional
Op
constructor()
Constructor
Op
count()
definition()
Function
Op
group()
Grouping
Op
Import
maybe()
Op
op()
op
Group()
option()
or()
Order
Param
With
Type
Precision
VERY_HIGH
HIGH
MEDIUM
LOW
UNKNOWN
Rule
set
Severity
INFO
WARNING
ERROR
signature()
some()
Transformation
Result
Companion
Type
unordered()
Wildcard
wildcard
with()
with
Type()
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
core.
modelling
Argument
Item
Backend
Data
Item
Binary
Condition
Component
Binary
Logical
Condition
Component
Binary
Logical
Operator
Name
AND
OR
Binary
Operator
Name
Call
Condition
Component
Can
Change
Transformation
Comparison
Condition
Component
Comparison
Operator
Name
GEQ
GT
LEQ
LT
EQ
NEQ
Condition
Component
Condition
Leaf
Condition
Node
Contains
Condition
Component
Data
Item
Definition
Parameter
Parameter
Group
Return
Value
Item
Signature
Unary
Condition
Component
Unary
Operator
Name
NOT
Value
value()
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
core.
ordering
Alternative
Order
Node
get
Op()
Order
Builder
Order
Fragment
Order
Group
Order
Node
Order
Quantifier
COUNT
BETWEEN
ATLEAST
MAYBE
OPTION
Order
Set
Order
Set
Get
Operator
Order
Token
Quantifier
Order
Node
Sequence
Order
Node
Terminal
Order
Node
coko-dsl
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
dsl
Coko
Configuration
Coko
Sarif
Builder
Coko
Script
Plugin
Dependencies
Spec
Project
Script
Evaluation
Configuration
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
dsl.
cli
Coko
Option
Group
Coko
Subcommand
file
Name
String
validate
Spec()
de.
fraunhofer.
aisec.
codyze.
specification
Languages.
coko.
dsl.
host
Coko
Executor
Companion
Concept
Translator
Spec
Evaluator
coko-dsl
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.dsl
/
CokoConfiguration
Coko
Configuration
data
class
CokoConfiguration
(
val
goodFindings
:
Boolean
,
val
pedantic
:
Boolean
,
val
spec
:
List
<
Path
>
,
val
disabledSpecRules
:
List
<
String
>
)
:
ExecutorConfiguration
(
source
)
Members
Constructors
Coko
Configuration
Link copied to clipboard
constructor
(
goodFindings
:
Boolean
,
pedantic
:
Boolean
,
spec
:
List
<
Path
>
,
disabledSpecRules
:
List
<
String
>
)
Properties
disabled
Spec
Rules
Link copied to clipboard
val
disabledSpecRules
:
List
<
String
>
good
Findings
Link copied to clipboard
val
goodFindings
:
Boolean
pedantic
Link copied to clipboard
val
pedantic
:
Boolean
spec
Link copied to clipboard
val
spec
:
List
<
Path
>