Coder Social home page Coder Social logo

crypto-api-rules's Introduction

Crypto-API-Rules

This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.

How to write new rules:

  1. Install Eclipse CogniCrypt
  2. If you want to create a new ruleset (other than JCA, BC or Tink) copy one of the folders and adjust artifactId, groupId and version in the pom.xml
  3. Import respective project into Eclipse
  4. Write a new CrySL rule, file with extension .crysl.
  5. After saving the rule, a file with .crystlbin is generated within the target/classes folder
  6. Run mvn install from the command line from within the project folder. The latter command packages the .cryptslbin files within target/classes and installs the artifact to the local repository.
  7. Reference the installed artifact within CryptoAnalysis / or the CogniCrypt Plugin. See respective pom.xml.

To deploy a new version of the rule set to our Nexus Server run mvn deploy (needs permissions).

crypto-api-rules's People

Contributors

anakinraw avatar andresonntag avatar dnlki avatar enriozuni avatar gokcekrky avatar johspaeth avatar kruegers avatar rakshitkr avatar rbonifacio avatar schlichtig avatar sritejakv avatar svenfeld avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.