using the newest version of odin

Author: nikololiahim

build.sbt

@@ -10,7 +10,7 @@ libraryDependencies ++= Seq(
   "com.monovore" %% "decline-effect" % "2.2.0",
   "co.fs2" %% "fs2-core" % "3.2.7",
   "co.fs2" %% "fs2-io" % "3.2.7",
-  "org.polystat.odin" %% "analysis" % "0.3.3",
+  "org.polystat.odin" %% "analysis" % "0.4.0",
   "is.cir" %% "ciris" % "2.3.2",
   "lt.dvim.ciris-hocon" %% "ciris-hocon" % "1.0.1",
   "org.http4s" %% "http4s-ember-client" % "1.0.0-M32",

src/main/scala/org/polystat/Main.scala

@@ -15,10 +15,6 @@ import org.polystat.odin.analysis.EOOdinAnalyzer
 import org.polystat.odin.analysis.EOOdinAnalyzer.OdinAnalysisResult
 import org.polystat.odin.parser.EoParser.sourceCodeEoParser
 
-import EOOdinAnalyzer.{
-  advancedMutualRecursionAnalyzer,
-  unjustifiedAssumptionAnalyzer,
-}
 import PolystatConfig.*
 import IncludeExclude.*
 import InputUtils.*
@@ -33,8 +29,10 @@ object Main extends IOApp:
   val analyzers: List[(String, ASTAnalyzer[IO])] =
     // TODO: In Odin, change analyzer names to shorter ones.
     List(
-      ("mutualrec", advancedMutualRecursionAnalyzer),
-      ("unjustified", unjustifiedAssumptionAnalyzer),
+      ("mutualrec", EOOdinAnalyzer.advancedMutualRecursionAnalyzer),
+      ("unjustified", EOOdinAnalyzer.unjustifiedAssumptionAnalyzer),
+      ("liskov", EOOdinAnalyzer.liskovPrincipleViolationAnalyzer),
+      ("directAccess", EOOdinAnalyzer.directStateAccessAnalyzer),
     )
 
   def filterAnalyzers(

src/main/scala/org/polystat/Sarif.scala

@@ -6,6 +6,7 @@ import io.circe.Encoder
 import io.circe.Json
 import io.circe.syntax.*
 import org.polystat.odin.analysis.EOOdinAnalyzer.OdinAnalysisResult
+import cats.syntax.foldable.*
 
 import scala.CanEqual.derived
 
@@ -44,7 +45,7 @@ final case class SarifOutput(errors: List[OdinAnalysisResult]):
           ),
           executionSuccessful = false,
         )
-      case DefectDetected(ruleId, _) =>
+      case DefectsDetected(ruleId, _) =>
         SarifInvocation(
           toolExecutionNotifications = Seq(
             SarifNotification(
@@ -76,13 +77,13 @@ final case class SarifOutput(errors: List[OdinAnalysisResult]):
   private def sarifResult(error: OdinAnalysisResult): Option[SarifResult] =
     error match
       case AnalyzerFailure(_, _) => None
-      case DefectDetected(ruleId, message) =>
+      case DefectsDetected(ruleId, message) =>
         Some(
           SarifResult(
             ruleId = ruleId,
             level = SarifLevel.ERROR,
             kind = SarifKind.FAIL,
-            message = SarifMessage(message),
+            message = SarifMessage(message.mkString_("\n")),
           )
         )
       case Ok(ruleId) =>