Add verigraph code base 81/29381/5
authorserena.spinoso <serena.spinoso@polito.it>
Sat, 25 Feb 2017 11:00:55 +0000 (12:00 +0100)
committerserena.spinoso <serena.spinoso@polito.it>
Mon, 27 Feb 2017 12:39:18 +0000 (13:39 +0100)
commit53d83244c1bf36af86e90ce5fe758a369f73563e
treef5780b3033763d6b3cd62c40f5d4a63dfac35f7a
parentf0108f26fb1f62fefbbc4d5484b87241d563737b
Add verigraph code base

JIRA: PARSER-111

Change-Id: Ie76e14fabbb6c388ebc89d9a15dd3021b25fa892
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
157 files changed:
verigraph/LICENSE [new file with mode: 0644]
verigraph/README.rst [new file with mode: 0644]
verigraph/buildVeriGraph_gRPC.xml [new file with mode: 0644]
verigraph/pom.xml [new file with mode: 0644]
verigraph/service/src/mcnet/components/Checker.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/Core.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/DataIsolationResult.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/IsolationResult.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/NetContext.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/Network.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/NetworkObject.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/Result.java [new file with mode: 0644]
verigraph/service/src/mcnet/components/Tuple.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/AclFirewall.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/DumbNode.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/EndHost.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PacketModel.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoAntispam.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoCache.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoEndHost.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoErrFunction.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoFieldModifier.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoIDS.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoMailClient.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoMailServer.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoNF.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoNat.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoVpnAccess.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoVpnExit.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoWebClient.java [new file with mode: 0644]
verigraph/service/src/mcnet/netobjs/PolitoWebServer.java [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/README.rst [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/__init__.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/batch_generator.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/code_generator.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/config.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/json_generator.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/routing_generator.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/test_class_generator.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/test_generator.py [new file with mode: 0644]
verigraph/service/src/tests/j-verigraph-generator/utility.py [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/client/Neo4jManagerClient.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/client/VerifyClient.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/client/VerifyClientException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/database/DatabaseClass.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/deserializer/ConfigurationCustomDeserializer.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/deserializer/GraphCustomDeserializer.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/deserializer/NodeCustomDeserializer.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/deserializer/PathsMessageBodyReader.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/BadRequestException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/BadRequestExceptionMapper.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/DataNotFoundException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/DataNotFoundExceptionMapper.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/ForbiddenException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/ForbiddenExceptionMapper.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/GenericExceptionMapper.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/InternalServerErrorException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/exception/InternalServerErrorExceptionMapper.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Configuration.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Entry.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/ErrorMessage.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Graph.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Link.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Neighbour.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Node.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Test.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/Verification.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/model/jaxb.properties [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/resources/GraphResource.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/resources/NeighbourResource.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/resources/NodeResource.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/serializer/CustomConfigurationSerializer.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/serializer/CustomMapSerializer.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/service/GraphService.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/service/JsonValidationService.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/service/NeighbourService.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/service/NodeService.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/service/ValidationUtils.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/service/VerificationService.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/test/MultiThreadedTestCase.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/test/Scalability.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/test/TestExecutionException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/test/Tester.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/validation/DpiValidator.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/validation/EndhostValidator.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/validation/ValidationInterface.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/validation/VpnaccessValidator.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/validation/VpnexitValidator.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/Client.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/GrpcUtils.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/README.rst [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/Service.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/test/GrpcServerTest.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/test/GrpcTest.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/test/MultiThreadTest.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/grpc/test/ReachabilityTest.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ActionEnumType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ActionType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ActionsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CiType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CpType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CpointsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/CtrlInterfacesType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpCpType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpointsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/EpsCpsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/FlowrulesType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/HttpMessage.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/MonParamsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NeType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NelementsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NfType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/Nffg.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NffgSet.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/NfunctionsType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/ObjectFactory.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/Paths.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/PortDirEnumType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/PortType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/Property.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/SpecType.java [new file with mode: 0644]
verigraph/src/main/java/it/polito/nffg/neo4j/jaxb/package-info.java [new file with mode: 0644]
verigraph/src/main/proto/verigraph.proto [new file with mode: 0644]
verigraph/src/main/schema/net_types.xsd [new file with mode: 0644]
verigraph/src/main/schema/nffg.xsd [new file with mode: 0644]
verigraph/src/main/webapp/json/antispam.json [new file with mode: 0644]
verigraph/src/main/webapp/json/cache.json [new file with mode: 0644]
verigraph/src/main/webapp/json/database.json [new file with mode: 0644]
verigraph/src/main/webapp/json/dpi.json [new file with mode: 0644]
verigraph/src/main/webapp/json/endhost.json [new file with mode: 0644]
verigraph/src/main/webapp/json/endpoint.json [new file with mode: 0644]
verigraph/src/main/webapp/json/fieldmodifier.json [new file with mode: 0644]
verigraph/src/main/webapp/json/firewall.json [new file with mode: 0644]
verigraph/src/main/webapp/json/mailclient.json [new file with mode: 0644]
verigraph/src/main/webapp/json/mailserver.json [new file with mode: 0644]
verigraph/src/main/webapp/json/nat.json [new file with mode: 0644]
verigraph/src/main/webapp/json/vpnaccess.json [new file with mode: 0644]
verigraph/src/main/webapp/json/vpnexit.json [new file with mode: 0644]
verigraph/src/main/webapp/json/webclient.json [new file with mode: 0644]
verigraph/src/main/webapp/json/webserver.json [new file with mode: 0644]
verigraph/target/m2e-wtp/web-resources/META-INF/MANIFEST.MF [new file with mode: 0644]
verigraph/target/m2e-wtp/web-resources/META-INF/maven/it.polito.escape/verify/pom.properties [new file with mode: 0644]
verigraph/target/m2e-wtp/web-resources/META-INF/maven/it.polito.escape/verify/pom.xml [new file with mode: 0644]
verigraph/tester/README.rst [new file with mode: 0644]
verigraph/tester/test.py [new file with mode: 0644]
verigraph/tester/testcase_schema.json [new file with mode: 0644]
verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json [new file with mode: 0644]
verigraph/tester/testcases/test_budapest_sap1_webserver_unsat.json [new file with mode: 0644]
verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficAllowed.json [new file with mode: 0644]
verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficBlocked.json [new file with mode: 0644]
verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json [new file with mode: 0644]
verigraph/tester/testcases/test_user_nat_vpn_webserver_sat.json [new file with mode: 0644]
verigraph/tester/testcases/test_webserver_vpn_nat_user_unsat.json [new file with mode: 0644]