static-analysis

5Hitze

1Antwort

Sicherstellen, dass der Aufrufstapel einer Methode immer eine andere Methode in Java enthält

Ich habe ein Entwurfsproblem in einem gemeinsamen Dienstprogramm, das wir in unserem Java-Projekt verwenden, um sicherzustellen, dass alle Aufrufer einer bestimmten Methode A von einer anderen Methode

13Hitze

2Antwort

Code Contracts - ForAll - Was wird durch statische Verifizierung unterstützt

Es gibt zahlreiche Informationen, die statische Überprüfung von Contract.ForAll hat nur begrenzte oder keine Unterstützung. Ich habe viel experimentiert und fand kann es mit arbeiten: Contract.ForAll(

5Hitze

1Antwort

Verursacht Inferenz verlangsamen Autovervollständigung in der IDE

Bei der Verwendung von Scala zum ersten Mal in einer IDE (Idee) habe ich festgestellt, dass Autovervollständigung ist deutlich langsamer, dann beim Java-Codierung. Obwohl ein Teil der Verlangsamung de

5Hitze

1Antwort

Wie drucken Syntaxbaum mit Javac

Ich implementierte ein Programm TreeScanner, um Informationen über alle Knoten in AST zu drucken. Das Programm unterstützt alle Arten (alle Besuchsmethoden sind implementiert). Das Problem besteht jed

9Hitze

4Antwort

Was sind die Lücken zwischen symbolischer Ausführung und Taint-Analyse?

Ich las vor kurzem ein Papiertitel "All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)" von Dr. EJ Schwartz. In dem Artikel spr

5Hitze

1Antwort

Finden Sie nicht entsorgt IDisposables

Ich bin auf der Suche nach Speicherlecks in einer riesigen Code-Basis Zeile für Zeile gehen und beobachten für jeden möglichen Ort, wo ein IDisposable verwendet wird, ohne in eine using Anweisung gese

5Hitze

1Antwort

Findbugs Gradle Plug-in wird die Build nicht fehlschlagen

Ich versuche, Findbugs-Plugin in meiner Build.Gradle-Datei verwenden, um die Entwickler persönliche Build fehlschlagen, aber es funktioniert nicht. Obwohl das Plugin die Berichte erstellt, wird der Bu

6Hitze

1Antwort

Wie benutzt man OCLint für das Cocoa Framework?

Führen Sie den folgenden Befehl in dem Ordner mit dem Projekt: $ xcodebuild -target MyCocoaFramework -configuration Debug -scheme MyCocoaFramework clean build | tee xcodebuild.log $ oclint-xcodebuild

5Hitze

1Antwort

Verwendung von Linkerbefehlen für die statische Analyse von Clang

Ich entwickle eine statische Analyse-Tool mit python-clang-3.6-Bibliothek, die ich Funktion Call Graphen zeichnen lassen würde. Um ordnungsgemäß TranslationUnit zu erstellen, muss ich den entsprechend

6Hitze

1Antwort

Wie kann ich Python-Methoden ohne Rückgabeanweisungen finden?

Ich mag es wirklich, wenn Methoden von Objekten, die die Eigenschaft objects ändern, self zurückgeben, so dass Sie Methodenaufrufe verketten können. Zum Beispiel: boundingBox.grow(0.05).shift(x=1.3)