Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
MontiSecArc
Commits
e1d0328d
Commit
e1d0328d
authored
Aug 24, 2019
by
Bernhard Rumpe
Browse files
BR-sy
parent
1423343f
Changes
182
Hide whitespace changes
Inline
Side-by-side
core/montiSecArcAnalysis/src/main/java/secarc/MontiSecArcAnalysis.java
View file @
e1d0328d
/* (c) https://github.com/MontiCore/monticore */
/* Copyright (c) 2012 RWTH Aachen. All rights reserved.
*
* http://www.monticore.de/ - http://www.se-rwth.de/ */
package
secarc
;
...
...
core/montiSecArcAnalysis/src/main/java/secarc/MontiSecArcPreAnalysis.java
View file @
e1d0328d
/* (c) https://github.com/MontiCore/monticore */
/* Copyright (c) 2012 RWTH Aachen. All rights reserved.
*
* http://www.monticore.de/ - http://www.se-rwth.de/ */
package
secarc
;
import
java.util.List
;
...
...
core/montiSecArcAnalysis/src/main/java/secarc/ets/check/MontiSecArcAnalysisWorkflow.java
View file @
e1d0328d
/* (c) https://github.com/MontiCore/monticore */
/* Copyright (c) 2012 RWTH Aachen. All rights reserved.
*
* http://www.monticore.de/ - http://www.se-rwth.de/ */
package
secarc.ets.check
;
import
interfaces2.EtsErrorCode
;
...
...
core/montiSecArcAnalysis/src/test/java/secarc/MontiSecArcAnalysisTest.java
View file @
e1d0328d
/* (c) https://github.com/MontiCore/monticore */
/* Copyright (c) 2012 RWTH Aachen. All rights reserved.
*
* http://www.monticore.de/ - http://www.se-rwth.de/ */
package
secarc
;
import
static
org
.
junit
.
Assert
.
assertEquals
;
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/configuration/ConfigurationNotReviewed.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
configuration
;
component
ConfigurationNotReviewed
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/configuration/ConfigurationReviewed.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
configuration
;
component
ConfigurationReviewed
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/connector/EncryptedPathEndInLowTrustlevel.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
connector
;
component
EncryptedPathEndInLowTrustlevel
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/connector/EncryptedPathWithLowerTrustlevel.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
connector
;
component
EncryptedPathWithLowerTrustlevel
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/connector/EncryptedPathWithUnencryptedPart.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
connector
;
component
EncryptedPathWithUnencryptedPart
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/connector/ListEncryptedData.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
connector
;
component
ListEncryptedData
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/connector/UnencryptedPathThroughLowTrustlevel.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
connector
;
component
UnencryptedPathThroughLowTrustlevel
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/criticalport/CriticalPort.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
criticalport
;
component
CriticalPort
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/filter/FilterComponent.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
filter
;
component
FilterComponent
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/filter/FilterPort.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
filter
;
component
FilterPort
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/filter/FilterWithLowerTrustlevel.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
filter
;
component
FilterWithLowerTrustlevel
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/filter/InputString.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
filter
;
component
InputString
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/identity/IdentityWithEncryption.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
identity
;
component
IdentityWithEncryption
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/identity/IdentityWithoutConnector.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
identity
;
component
IdentityWithoutConnector
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/identity/IdentityWithoutEncryption.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
identity
;
component
IdentityWithoutEncryption
{
...
...
core/montiSecArcAnalysis/src/test/resources/secarc/analysis/identity/IdentityWithoutRoles.secarc
View file @
e1d0328d
/*
(
c
)
https
://
github
.
com
/
MontiCore
/
monticore
*/
package
secarc
.
analysis
.
identity
;
component
IdentityWithoutRoles
{
...
...
Prev
1
2
3
4
5
…
10
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment