logifixのダウンロード - logifixソースコードのダウンロード

logifix

その他のカテゴリー

v0.6.0

ダウンロード

logifix

Logifixは、Javaソースコードで静的分析違反を自動的に修正するためのDatalogベースのツールです。 Logifixを使用して、Sonarqube、PMD、SpotBugsなどの静的分析装置の静的分析違反を修正することもできますが、レガシーコードを近代化したり、コードベースに固有のカスタムルールを自動的に実施することもできます。

デモ

demo.mp4

はじめる

1。インストール

MacOSおよびGNUベースのLinuxシステムには、事前に構築された依存関係のないバイナリが提供されています。

ubuntu/debian

curl -L https://github.com/lyxell/logifix/releases/latest/download/logifix-x86_64-linux-gnu.gz | gunzip -c - > /tmp/logifix
chmod +x /tmp/logifix
sudo mv /tmp/logifix /usr/local/bin

macos

curl -L https://github.com/lyxell/logifix/releases/latest/download/logifix-x86_64-macos.gz | gunzip -c - > /tmp/logifix
chmod +x /tmp/logifix
sudo mv /tmp/logifix /usr/local/bin

2。実行します

ターミナルでlogifix path/to/your/projectを実行し、 logifix --helpヘルプヘルプを取得する

logifixとは何ですか？

Logifixは、Javaソースコードの分析ガイド付き書き換えシステムです。これは、すべてがコードを改善するために連携する分析と変換を定義する（または定義済みの分析と変換を定義する（または使用する）ことを意味します。分析と変換は、非常に宣言的なロジックベースの言語Datalogで記述され、組み合わされて、書き換えエンジンによって自動的に連鎖します。

特徴

インテリジェントな等しい推論

logifixは、検索とレプレースのシステム以上のものです。それは複数のステップで書き換えを実行し、書き換えグラフに明確なポイントを構築することにより、インテリジェントな等しい推論を実現できます。

スピード

Logifixは、マルチスレッドC ++コードに合成される高性能データログ方言に実装されます。単一のファイルで作業している場合でも、通常、最新のハードウェアで数秒で数千のファイルの大規模なプロジェクトを分析します。プロジェクトの分析が遅い場合は、バグと見なされ、バグレポートを提出する必要があります。

mergeability

Logifixは、手動での変更を必要とせずに設計によりすぐにマージできる人間のようなパッチを作成するように設計されています。

例

Logifixによって生成されたパッチの例をいくつか示します。

マップ＃keyset上の非効率的な反復を修正します

  public static void sign(String token, Map<String, String> params) {
      List<String> list = new ArrayList();
      String tokenClientSlat = "";
-     for (String key : params.keySet()) {
+     for (Map.Entry<String, String> entry : params.entrySet()) {
+         String key = entry.getKey();
          if (key.equals("token_client_salt")) {
-             tokenClientSlat = params.get(key);
+             tokenClientSlat = entry.getValue();
          }
-         String paramString = key + "=" + params.get(key);
+         String paramString = key + "=" + entry.getValue();
          list.add(paramString);
      }
      Collections.sort(list);

リソース付きのTry-with-resourcesを使用してコードを簡素化します

          continue;
      } 
-     try {
-         JarFile nextJarFile = new JarFile(absNextFile);
-         try {
-             Attributes attrs = getMainAttrs(nextJarFile);
-             Set<Extension> newExtensions = getReferencedExtensions(attrs);
-             result.addAll(newExtensions);
-             filesToProcess.addAll(extensionsToFiles(newExtensions));
-         } finally {
-             nextJarFile.close();
-         }
+     try (JarFile nextJarFile = new JarFile(absNextFile)) {
+         Attributes attrs = getMainAttrs(nextJarFile);
+         Set<Extension> newExtensions = getReferencedExtensions(attrs);
+         result.addAll(newExtensions);
+         filesToProcess.addAll(extensionsToFiles(newExtensions));
      } catch (Exception e) {
          invalidLibPaths.append(nextFile.getPath()).append(" ");
      }

map :: computeifabsentを使用してコードを簡素化します

  private final Map<Class<?>, String> requestQueueNameCache = new ConcurrentHashMap<>();
     
  public String getRequestQueueName(Class<?> remoteInterface) {
-     String str = requestQueueNameCache.get(remoteInterface);
-     if (str == null) {
-         str = "{" + name + ":" + remoteInterface.getName() + "}";
-         requestQueueNameCache.put(remoteInterface, str);
-     }
-     return str;
+     return requestQueueNameCache.computeIfAbsent(remoteInterface, k -> "{" + name + ":" + k.getName() + "}");
  }

ストリームを使用してコードを簡素化します

  @Override
  public List<SpoonFile> getAllJavaFiles() {
-     List<SpoonFile> result = new ArrayList<>();
-
-     for (SpoonFile f : getAllFiles()) {
-         if (f.isJava()) {
-             result.add(f);
-         }
-     }
-
-     return result;
+     return getAllFiles().stream().filter(SpoonFile::isJava).collect(Collectors.toList());
  }