Fraunhofer-AISEC / codyze

Codyze is a static analyzer for Java, C, C++ based on code property graphs

Home Page:https://www.codyze.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Error in installing MARK in Eclipse

shahrzadav opened this issue · comments

I am trying to write MARK rules for JCA, and I have tried to install the MARK plugin on Eclipse based on the instruction provided on Codyze webpage, but I get an error. I used Eclipse versions 2019-06, 2020-09, and the latest version. I also tried it on Ubuntu 20.04.1 LTS with Eclipse 2020-09. None of them have worked. I will attach the error message with this issue.

image

Hi @shahrzadav,

Thank you for catching this one. We moved the update site. The new site can be found here:
https://codyze.s3.eu-central-1.amazonaws.com/codyze-mark-eclipse-plugin/

Hi @fwendland,

Thanks for your response. I cannot access this website, it redirects to download something. Would you please send the link again?

Hi @shahrzadav,

can you try again?

It's only an Eclipse update site, so you may not be able to browse it (i.e. access denied). It should work if you point Eclipse installation wizard to it. Try this link too: https://codyze.s3.eu-central-1.amazonaws.com/codyze-mark-eclipse-plugin/content.jar

If you cannot download content.jar, I need to adjust the access permissions.

Hey @fwendland,
Thanks again, I was able to install it. Does it provide a MARK compiler? I made a file with .mark extension, and add an arbitrary MARK rule, but I do not see any syntax highlighting or code completion.

Hi @shahrzadav,

I usually create a new project (General -> Project). Once I've created my first MARK file (*.mark), Eclipse asks me whether it should be an Xtext project. I confirm and everything works.

It should be possible to convert a project and add all the specifics. I've never done it and cannot really help you. Sorry.

@fwendland I think the problem is that MARK is not listed as a file wizard, even after installing MARK plugin on Eclipse. Do you add .mark manually or does it appear on your wizard?

It doesn't appear in the wizard. We were happy with a minimal working implementation.

We rely on Xtext's capabilities. We register the MARK extension (*.mark) and use the default editor capabilities generated from an Xtext project. I create a simple file in a project and give it the MARK extension. Eclipse picks it up automagically. It asks me whether to configure Xtext and convert the project into an Xtext project. This has been sufficient for our use cases so far.

Screenshot 2021-05-18 194013

If you have specific suggestions or feature request, we welcome your requests. Depending on our priorities and the general demand, we may implement them.

Thanks @fwendland, that solved my problem 👍.