diff --git a/src/checkers/inference/InferenceCli.java b/src/checkers/inference/InferenceCli.java index ee5762de..656ff5ab 100644 --- a/src/checkers/inference/InferenceCli.java +++ b/src/checkers/inference/InferenceCli.java @@ -13,8 +13,6 @@ * Command line launcher for Checker-Framework-Inference. * *

Parses command line options and creates InferenceMain instance to start inference system. - * - * @author mcarthur */ public class InferenceCli { diff --git a/src/checkers/inference/InferenceDevelLauncher.java b/src/checkers/inference/InferenceDevelLauncher.java index cdd80818..21041c24 100644 --- a/src/checkers/inference/InferenceDevelLauncher.java +++ b/src/checkers/inference/InferenceDevelLauncher.java @@ -19,8 +19,6 @@ *

TODO: We need to think how to enable {@code InferenceDevelLauncher} to find all necessary * locations by itself, so that we could remove the dependency of a shell script. After achieving * this, we could also apply the similar solution to {@code CheckerDevelMain}. - * - * @author charleszhuochen */ public class InferenceDevelLauncher extends InferenceLauncher { diff --git a/src/checkers/inference/InferenceMain.java b/src/checkers/inference/InferenceMain.java index 60791a44..0c569a0f 100644 --- a/src/checkers/inference/InferenceMain.java +++ b/src/checkers/inference/InferenceMain.java @@ -68,8 +68,6 @@ * *

In the future, Checker-Framework-Inference might be able to use the inferred annotations for * type-checking without first inserting the annotations into the input program. - * - * @author mcarthur */ public class InferenceMain { diff --git a/src/checkers/inference/InferrableChecker.java b/src/checkers/inference/InferrableChecker.java index 09e08015..dab0bff5 100644 --- a/src/checkers/inference/InferrableChecker.java +++ b/src/checkers/inference/InferrableChecker.java @@ -24,8 +24,6 @@ * *

Some methods are from BaseTypeChecker as convenience to Inference classes so they do not need * to have multiple references to the same class. - * - * @author mcarthur */ public interface InferrableChecker { diff --git a/src/checkers/inference/SolutionJaifUpdater.java b/src/checkers/inference/SolutionJaifUpdater.java index ef3d65b9..e0881132 100644 --- a/src/checkers/inference/SolutionJaifUpdater.java +++ b/src/checkers/inference/SolutionJaifUpdater.java @@ -24,8 +24,6 @@ * SolutionJaifUpdater takes in a solved json constraints file and a JAIF that contains * {@link @VarAnnot} annotations and creates a new JAIF by replacing the @VarAnnots with the * annotation for that @VarAnnot's id in the solution. - * - * @author mcarthur */ public class SolutionJaifUpdater { diff --git a/src/checkers/inference/dataflow/InferenceAnalysis.java b/src/checkers/inference/dataflow/InferenceAnalysis.java index 3f62ed94..98d37a45 100644 --- a/src/checkers/inference/dataflow/InferenceAnalysis.java +++ b/src/checkers/inference/dataflow/InferenceAnalysis.java @@ -35,8 +35,6 @@ * *

Finally, InferenceAnalysis make analysis' nodeValues field available outside of the class. * InferenceTransfer uses nodeValue to override values for nodes. - * - * @author mcarthur */ public class InferenceAnalysis extends CFAnalysis { diff --git a/src/checkers/inference/dataflow/InferenceStore.java b/src/checkers/inference/dataflow/InferenceStore.java index db57102f..f3132077 100644 --- a/src/checkers/inference/dataflow/InferenceStore.java +++ b/src/checkers/inference/dataflow/InferenceStore.java @@ -8,8 +8,6 @@ * InferenceStore extends CFStore for inference. * *

Currently it does not change the behaviour of CFStore. - * - * @author mcarthur */ public class InferenceStore extends CFStore { diff --git a/src/checkers/inference/dataflow/InferenceValue.java b/src/checkers/inference/dataflow/InferenceValue.java index f1e8bc7b..5d41a407 100644 --- a/src/checkers/inference/dataflow/InferenceValue.java +++ b/src/checkers/inference/dataflow/InferenceValue.java @@ -28,8 +28,6 @@ * InferenceValue extends CFValue for inference. * *

leastUpperBound, creates CombVariables to represent the join of two VarAnnots. - * - * @author mcarthur */ public class InferenceValue extends CFValue { diff --git a/src/checkers/inference/model/ConstraintManager.java b/src/checkers/inference/model/ConstraintManager.java index bbaca410..77b84b1e 100644 --- a/src/checkers/inference/model/ConstraintManager.java +++ b/src/checkers/inference/model/ConstraintManager.java @@ -15,11 +15,7 @@ import checkers.inference.model.ArithmeticConstraint.ArithmeticOperationKind; import checkers.inference.model.ComparisonConstraint.ComparisonOperationKind; -/** - * Constraint manager holds constraints that are generated by InferenceVisitor. - * - * @author mcarthur - */ +/** Constraint manager holds constraints that are generated by InferenceVisitor. */ public class ConstraintManager { private boolean ignoreConstraints = false; diff --git a/src/checkers/inference/model/serialization/AnnotationMirrorSerializer.java b/src/checkers/inference/model/serialization/AnnotationMirrorSerializer.java index 41ccd1c2..81c16729 100644 --- a/src/checkers/inference/model/serialization/AnnotationMirrorSerializer.java +++ b/src/checkers/inference/model/serialization/AnnotationMirrorSerializer.java @@ -2,11 +2,7 @@ import javax.lang.model.element.AnnotationMirror; -/** - * Interface to handle serialization and deserialization of AnnotationMirrors to Strings. - * - * @author mcarthur - */ +/** Interface to handle serialization and deserialization of AnnotationMirrors to Strings. */ public interface AnnotationMirrorSerializer { AnnotationMirror deserialize(String atm); diff --git a/src/checkers/inference/model/serialization/JsonDeserializer.java b/src/checkers/inference/model/serialization/JsonDeserializer.java index 8ec9c68a..04e5b13a 100644 --- a/src/checkers/inference/model/serialization/JsonDeserializer.java +++ b/src/checkers/inference/model/serialization/JsonDeserializer.java @@ -53,8 +53,6 @@ *

The format of the json constraint file is documented in JsonSerializer.java. * *

TODO: Support nested constraints - * - * @author mcarthur */ public class JsonDeserializer { diff --git a/src/checkers/inference/model/serialization/JsonSerializer.java b/src/checkers/inference/model/serialization/JsonSerializer.java index 162195d8..3e68c38d 100644 --- a/src/checkers/inference/model/serialization/JsonSerializer.java +++ b/src/checkers/inference/model/serialization/JsonSerializer.java @@ -60,8 +60,6 @@ * *

// Generics { "constraint": "enabled_check", "id" : "var:12", "then": [ ... ], "else": [ ... * ], } ] } - * - * @author mcarthur */ public class JsonSerializer implements Serializer { diff --git a/src/checkers/inference/model/serialization/JsonSerializerSolver.java b/src/checkers/inference/model/serialization/JsonSerializerSolver.java index 4fcd9543..5371892e 100644 --- a/src/checkers/inference/model/serialization/JsonSerializerSolver.java +++ b/src/checkers/inference/model/serialization/JsonSerializerSolver.java @@ -19,11 +19,7 @@ import checkers.inference.model.Constraint; import checkers.inference.model.Slot; -/** - * InferenceSolver that serializes constraints to a file in JSON format. - * - * @author mcarthur - */ +/** InferenceSolver that serializes constraints to a file in JSON format. */ public class JsonSerializerSolver implements InferenceSolver { private static final String FILE_KEY = "constraint-file"; diff --git a/src/checkers/inference/model/serialization/SimpleAnnotationMirrorSerializer.java b/src/checkers/inference/model/serialization/SimpleAnnotationMirrorSerializer.java index f83f8102..52203eae 100644 --- a/src/checkers/inference/model/serialization/SimpleAnnotationMirrorSerializer.java +++ b/src/checkers/inference/model/serialization/SimpleAnnotationMirrorSerializer.java @@ -9,8 +9,6 @@ * other). * *

The serialized format is what the game expects: "type:0" and "type:1" - * - * @author mcarthur */ public class SimpleAnnotationMirrorSerializer implements AnnotationMirrorSerializer { diff --git a/src/checkers/inference/solver/DebugSolver.java b/src/checkers/inference/solver/DebugSolver.java index c38ac401..9e7ddea6 100644 --- a/src/checkers/inference/solver/DebugSolver.java +++ b/src/checkers/inference/solver/DebugSolver.java @@ -21,11 +21,7 @@ import checkers.inference.model.serialization.ToStringSerializer; import checkers.inference.util.InferenceUtil; -/** - * Debug solver prints out variables and constraints. - * - * @author mcarthur - */ +/** Debug solver prints out variables and constraints. */ public class DebugSolver implements InferenceSolver { private static final boolean showAstPaths = diff --git a/src/checkers/inference/solver/PropagationSolver.java b/src/checkers/inference/solver/PropagationSolver.java index abc6c473..1aeba833 100644 --- a/src/checkers/inference/solver/PropagationSolver.java +++ b/src/checkers/inference/solver/PropagationSolver.java @@ -30,8 +30,6 @@ * InferenceSolver FloodSolver implementation * *

TODO: Parameters to configure where to push conflicts? - * - * @author mcarthur */ public class PropagationSolver implements InferenceSolver { diff --git a/src/checkers/inference/solver/SolverEngine.java b/src/checkers/inference/solver/SolverEngine.java index 10f39d6a..a2af63b8 100644 --- a/src/checkers/inference/solver/SolverEngine.java +++ b/src/checkers/inference/solver/SolverEngine.java @@ -31,7 +31,6 @@ * * @see SolverFactory * @see SolvingStrategy - * @author jianchu */ public class SolverEngine implements InferenceSolver { protected boolean collectStatistics; diff --git a/src/checkers/inference/solver/backend/FormatTranslator.java b/src/checkers/inference/solver/backend/FormatTranslator.java index ff420103..9678e9b2 100644 --- a/src/checkers/inference/solver/backend/FormatTranslator.java +++ b/src/checkers/inference/solver/backend/FormatTranslator.java @@ -11,7 +11,6 @@ *

It encode Slot and Constraint to specific types needed by underlying solver, and decode solver * solution to AnnotationMirror. * - * @author charleszhuochen * @param encoding type for slot. * @param encoding type for constraint. * @param type for underlying solver's solution of a Slot diff --git a/src/checkers/inference/solver/backend/Solver.java b/src/checkers/inference/solver/backend/Solver.java index 8374bfcd..dde7d9f8 100644 --- a/src/checkers/inference/solver/backend/Solver.java +++ b/src/checkers/inference/solver/backend/Solver.java @@ -29,7 +29,6 @@ * checkers.inference.solver.SolverEngine#solveInparall()} and {@link * checkers.inference.solver.SolverEngine#solveInSequential()}. * - * @author jianchu * @param type of FormatTranslator required by this Solver */ public abstract class Solver> { diff --git a/src/checkers/inference/solver/backend/lingeling/LingelingSolver.java b/src/checkers/inference/solver/backend/lingeling/LingelingSolver.java index fa750e9b..2f76ad0e 100644 --- a/src/checkers/inference/solver/backend/lingeling/LingelingSolver.java +++ b/src/checkers/inference/solver/backend/lingeling/LingelingSolver.java @@ -26,8 +26,6 @@ /** * LingelingSolver is also a MaxSatSolver but it calls Lingeling SAT solver to solve the clauses. It * doesn't support soft constraint. - * - * @author jianchu */ public class LingelingSolver extends MaxSatSolver { diff --git a/src/checkers/inference/solver/backend/logiql/DecodingTool.java b/src/checkers/inference/solver/backend/logiql/DecodingTool.java index baa11593..04bd79e1 100644 --- a/src/checkers/inference/solver/backend/logiql/DecodingTool.java +++ b/src/checkers/inference/solver/backend/logiql/DecodingTool.java @@ -18,8 +18,6 @@ /** * DecodingTool decodes the result from LogicBlox, change the form to human readable form and put * the result to HashMap result and return it to LogicSolver. - * - * @author Jianchu Li */ public class DecodingTool { diff --git a/src/checkers/inference/solver/backend/logiql/LogiQLFormatTranslator.java b/src/checkers/inference/solver/backend/logiql/LogiQLFormatTranslator.java index 41267b41..f0f5070c 100644 --- a/src/checkers/inference/solver/backend/logiql/LogiQLFormatTranslator.java +++ b/src/checkers/inference/solver/backend/logiql/LogiQLFormatTranslator.java @@ -8,11 +8,7 @@ import checkers.inference.solver.backend.logiql.encoder.LogiQLConstraintEncoderFactory; import checkers.inference.solver.frontend.Lattice; -/** - * LogiQLFormatTranslator converts constraint into string as logiQL data. - * - * @author jianchu - */ +/** LogiQLFormatTranslator converts constraint into string as logiQL data. */ public class LogiQLFormatTranslator extends AbstractFormatTranslator { public LogiQLFormatTranslator(Lattice lattice) { diff --git a/src/checkers/inference/solver/backend/logiql/LogiQLPredicateGenerator.java b/src/checkers/inference/solver/backend/logiql/LogiQLPredicateGenerator.java index 305614d9..7954af62 100644 --- a/src/checkers/inference/solver/backend/logiql/LogiQLPredicateGenerator.java +++ b/src/checkers/inference/solver/backend/logiql/LogiQLPredicateGenerator.java @@ -13,8 +13,6 @@ /** * LogiqlConstraintGenerator take QualifierHierarchy of current type system as input, and generate * the logiql encoding of all constraint, and write the result in a .logic file. - * - * @author Jianchu Li */ public class LogiQLPredicateGenerator { diff --git a/src/checkers/inference/solver/backend/logiql/LogiQLSolver.java b/src/checkers/inference/solver/backend/logiql/LogiQLSolver.java index 275b1458..1f0774ff 100644 --- a/src/checkers/inference/solver/backend/logiql/LogiQLSolver.java +++ b/src/checkers/inference/solver/backend/logiql/LogiQLSolver.java @@ -23,8 +23,6 @@ * constraint into LogiQL data. With both predicate and data created, it calls LogicBloxRunner that * runs logicblox to solve the LogiQL, and reads the output. Finally the output will be sent to * DecodingTool and get decoded. - * - * @author jianchu */ public class LogiQLSolver extends Solver { diff --git a/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java b/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java index 98026832..c121b37e 100644 --- a/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java +++ b/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java @@ -9,8 +9,6 @@ /** * LogicBloxRunner send two .logic file generated by LogiqlConstraintGenerator and * LogiqlDataGenerator to Logicblox, and write the output from database to file logicbloxOutput.txt. - * - * @author Jianchu Li */ public class LogicBloxRunner { diff --git a/src/checkers/inference/solver/backend/maxsat/MathUtils.java b/src/checkers/inference/solver/backend/maxsat/MathUtils.java index 3aaf9358..c49960e9 100644 --- a/src/checkers/inference/solver/backend/maxsat/MathUtils.java +++ b/src/checkers/inference/solver/backend/maxsat/MathUtils.java @@ -2,11 +2,7 @@ import checkers.inference.solver.frontend.Lattice; -/** - * Methods convert between slot id and Max-SAT id. - * - * @author jianchu - */ +/** Methods convert between slot id and Max-SAT id. */ public class MathUtils { /** diff --git a/src/checkers/inference/solver/backend/maxsat/MaxSatFormatTranslator.java b/src/checkers/inference/solver/backend/maxsat/MaxSatFormatTranslator.java index c4d6c4da..200a3e20 100644 --- a/src/checkers/inference/solver/backend/maxsat/MaxSatFormatTranslator.java +++ b/src/checkers/inference/solver/backend/maxsat/MaxSatFormatTranslator.java @@ -17,11 +17,7 @@ import checkers.inference.solver.backend.maxsat.encoder.MaxSATConstraintEncoderFactory; import checkers.inference.solver.frontend.Lattice; -/** - * MaxSatFormatTranslator converts constraint into array of VecInt as clauses. - * - * @author jianchu - */ +/** MaxSatFormatTranslator converts constraint into array of VecInt as clauses. */ public class MaxSatFormatTranslator extends AbstractFormatTranslator { /** diff --git a/src/checkers/inference/solver/backend/maxsat/MaxSatSolver.java b/src/checkers/inference/solver/backend/maxsat/MaxSatSolver.java index 7226aa59..78ec05c4 100644 --- a/src/checkers/inference/solver/backend/maxsat/MaxSatSolver.java +++ b/src/checkers/inference/solver/backend/maxsat/MaxSatSolver.java @@ -38,8 +38,6 @@ /** * MaxSatSolver calls MaxSatFormatTranslator that converts constraint into a list of VecInt, then * invoke Sat4j lib to solve the clauses, and decode the result. - * - * @author jianchu */ public class MaxSatSolver extends Solver { diff --git a/src/checkers/inference/solver/backend/maxsat/VectorUtils.java b/src/checkers/inference/solver/backend/maxsat/VectorUtils.java index 70674808..d511c1e1 100644 --- a/src/checkers/inference/solver/backend/maxsat/VectorUtils.java +++ b/src/checkers/inference/solver/backend/maxsat/VectorUtils.java @@ -2,11 +2,7 @@ import org.sat4j.core.VecInt; -/** - * Helper class for creating VecInt and VecInt array. - * - * @author jianchu - */ +/** Helper class for creating VecInt and VecInt array. */ public class VectorUtils { public static VecInt asVec(int... result) { diff --git a/src/checkers/inference/solver/constraintgraph/ConstraintGraph.java b/src/checkers/inference/solver/constraintgraph/ConstraintGraph.java index 34e3528b..15c50005 100644 --- a/src/checkers/inference/solver/constraintgraph/ConstraintGraph.java +++ b/src/checkers/inference/solver/constraintgraph/ConstraintGraph.java @@ -18,8 +18,6 @@ * is a vertex. ConstraintGraph is used for separating constraint into different components by * running graph traversal algorithm on it. Normal edges in this graph are bi-directional edges, * except SubtypeEdge is single-directed from subtype vertex to supertype vertex. - * - * @author jianchu */ public class ConstraintGraph { diff --git a/src/checkers/inference/solver/constraintgraph/Edge.java b/src/checkers/inference/solver/constraintgraph/Edge.java index 50ccbd8a..fc384e39 100644 --- a/src/checkers/inference/solver/constraintgraph/Edge.java +++ b/src/checkers/inference/solver/constraintgraph/Edge.java @@ -4,11 +4,7 @@ import checkers.inference.model.Constraint; -/** - * Edge represents a constraint. Edge is undirected. - * - * @author jianchu - */ +/** Edge represents a constraint. Edge is undirected. */ public class Edge { protected Vertex from; diff --git a/src/checkers/inference/solver/constraintgraph/GraphBuilder.java b/src/checkers/inference/solver/constraintgraph/GraphBuilder.java index a56fbd1d..6e957eee 100644 --- a/src/checkers/inference/solver/constraintgraph/GraphBuilder.java +++ b/src/checkers/inference/solver/constraintgraph/GraphBuilder.java @@ -28,8 +28,6 @@ /** * GraphBuilder builds the constraint graph and runs graph traversal algorithms to separate the * graph in different components. - * - * @author jianchu */ public class GraphBuilder { private final Collection constraints; diff --git a/src/checkers/inference/solver/constraintgraph/SubtypeEdge.java b/src/checkers/inference/solver/constraintgraph/SubtypeEdge.java index 5344e0ca..cb6b2fa2 100644 --- a/src/checkers/inference/solver/constraintgraph/SubtypeEdge.java +++ b/src/checkers/inference/solver/constraintgraph/SubtypeEdge.java @@ -2,11 +2,7 @@ import checkers.inference.model.SubtypeConstraint; -/** - * SubtypeEdge is for subtype constraint. It can be treated as directed edge. - * - * @author jianchu - */ +/** SubtypeEdge is for subtype constraint. It can be treated as directed edge. */ public class SubtypeEdge extends Edge { protected SubtypeEdge(Vertex from, Vertex to, SubtypeConstraint constraint) { diff --git a/src/checkers/inference/solver/constraintgraph/Vertex.java b/src/checkers/inference/solver/constraintgraph/Vertex.java index 8aa62d15..afbd24fa 100644 --- a/src/checkers/inference/solver/constraintgraph/Vertex.java +++ b/src/checkers/inference/solver/constraintgraph/Vertex.java @@ -8,11 +8,7 @@ import checkers.inference.model.ConstantSlot; import checkers.inference.model.Slot; -/** - * Vertex represents a slot. Two vertices are same if they have same slot id. - * - * @author jianchu - */ +/** Vertex represents a slot. Two vertices are same if they have same slot id. */ public class Vertex { private Set edges; diff --git a/src/checkers/inference/solver/frontend/Lattice.java b/src/checkers/inference/solver/frontend/Lattice.java index 3faff73b..558ce58e 100644 --- a/src/checkers/inference/solver/frontend/Lattice.java +++ b/src/checkers/inference/solver/frontend/Lattice.java @@ -15,8 +15,6 @@ * *

It is convenient to get all subtypes and supertypes of a specific type qualifier, all type * qualifier, and bottom and top qualifiers from an instance of this class. - * - * @author jianchu */ public class Lattice { diff --git a/src/checkers/inference/solver/frontend/TwoQualifiersLattice.java b/src/checkers/inference/solver/frontend/TwoQualifiersLattice.java index a92ab069..6db20de7 100644 --- a/src/checkers/inference/solver/frontend/TwoQualifiersLattice.java +++ b/src/checkers/inference/solver/frontend/TwoQualifiersLattice.java @@ -9,11 +9,7 @@ import javax.lang.model.element.AnnotationMirror; -/** - * Special Lattice class for two qualifier type system. - * - * @author jianchu - */ +/** Special Lattice class for two qualifier type system. */ public class TwoQualifiersLattice extends Lattice { public TwoQualifiersLattice( diff --git a/src/checkers/inference/util/JaifBuilder.java b/src/checkers/inference/util/JaifBuilder.java index a5322bd8..71132d67 100644 --- a/src/checkers/inference/util/JaifBuilder.java +++ b/src/checkers/inference/util/JaifBuilder.java @@ -28,8 +28,6 @@ * *

JaifBuilder first organizes ASTRecords by class and top level member, and then builds a Jaif * string. - * - * @author mcarthur */ public class JaifBuilder { diff --git a/src/dataflow/DataflowAnnotatedTypeFactory.java b/src/dataflow/DataflowAnnotatedTypeFactory.java index 3272a97c..d2fa0cfe 100644 --- a/src/dataflow/DataflowAnnotatedTypeFactory.java +++ b/src/dataflow/DataflowAnnotatedTypeFactory.java @@ -49,8 +49,6 @@ * DataflowAnnotatedTypeFactory is the type factory for Dataflow type system. It defines the subtype * relationship of Dataflow type system, annotate the base cases, and implements simplification * algorithm. - * - * @author jianchu */ public class DataflowAnnotatedTypeFactory extends BaseInferenceRealTypeFactory { diff --git a/src/dataflow/DataflowChecker.java b/src/dataflow/DataflowChecker.java index 9652e776..4816facd 100644 --- a/src/dataflow/DataflowChecker.java +++ b/src/dataflow/DataflowChecker.java @@ -14,11 +14,7 @@ import dataflow.qual.DataFlow; import dataflow.qual.DataFlowTop; -/** - * Checker for Dataflow type system. - * - * @author jianchu - */ +/** Checker for Dataflow type system. */ public class DataflowChecker extends BaseInferrableChecker { public AnnotationMirror DATAFLOW, DATAFLOWTOP; diff --git a/src/dataflow/DataflowInferenceAnnotatedTypeFactory.java b/src/dataflow/DataflowInferenceAnnotatedTypeFactory.java index c69a915d..53b006f5 100644 --- a/src/dataflow/DataflowInferenceAnnotatedTypeFactory.java +++ b/src/dataflow/DataflowInferenceAnnotatedTypeFactory.java @@ -24,8 +24,6 @@ /** * DataflowInferenceAnnotatedTypeFactory handles boxing and unboxing for primitive types. The * Dataflow type should always same as declared type for both cases. - * - * @author jianchu */ public class DataflowInferenceAnnotatedTypeFactory extends InferenceAnnotatedTypeFactory { diff --git a/src/dataflow/DataflowInferenceTreeAnnotator.java b/src/dataflow/DataflowInferenceTreeAnnotator.java index c2300b69..e05d114c 100644 --- a/src/dataflow/DataflowInferenceTreeAnnotator.java +++ b/src/dataflow/DataflowInferenceTreeAnnotator.java @@ -31,11 +31,7 @@ import checkers.inference.qual.VarAnnot; import dataflow.util.DataflowUtils; -/** - * DataflowInferenceTreeAnnotator creates constant slot for base cases. - * - * @author jianchu - */ +/** DataflowInferenceTreeAnnotator creates constant slot for base cases. */ public class DataflowInferenceTreeAnnotator extends InferenceTreeAnnotator { private final VariableAnnotator variableAnnotator; diff --git a/src/dataflow/DataflowVisitor.java b/src/dataflow/DataflowVisitor.java index b486ff6b..81e676a3 100644 --- a/src/dataflow/DataflowVisitor.java +++ b/src/dataflow/DataflowVisitor.java @@ -8,11 +8,7 @@ import checkers.inference.InferenceChecker; import checkers.inference.InferenceVisitor; -/** - * Don't generate any special constraint for Dataflow type system. - * - * @author jianchu - */ +/** Don't generate any special constraint for Dataflow type system. */ public class DataflowVisitor extends InferenceVisitor { public DataflowVisitor( diff --git a/src/dataflow/qual/DataFlowInferenceBottom.java b/src/dataflow/qual/DataFlowInferenceBottom.java index a1aa56fa..ad9b973f 100644 --- a/src/dataflow/qual/DataFlowInferenceBottom.java +++ b/src/dataflow/qual/DataFlowInferenceBottom.java @@ -8,11 +8,7 @@ import java.lang.annotation.ElementType; import java.lang.annotation.Target; -/** - * Annotation for inferring dataflow type system. - * - * @author jianchu - */ +/** Annotation for inferring dataflow type system. */ @InvisibleQualifier @SubtypeOf({DataFlow.class}) @Target({ElementType.TYPE_USE}) diff --git a/src/dataflow/solvers/classic/DataflowSolver.java b/src/dataflow/solvers/classic/DataflowSolver.java index fdd0a891..48d9734f 100644 --- a/src/dataflow/solvers/classic/DataflowSolver.java +++ b/src/dataflow/solvers/classic/DataflowSolver.java @@ -30,11 +30,7 @@ import dataflow.qual.DataFlowTop; import dataflow.util.DataflowUtils; -/** - * A solver for dataflow type system that is independent from GeneralSolver. - * - * @author jianchu - */ +/** A solver for dataflow type system that is independent from GeneralSolver. */ public class DataflowSolver implements InferenceSolver { protected AnnotationMirror DATAFLOW; diff --git a/src/dataflow/solvers/general/DataflowSolverEngine.java b/src/dataflow/solvers/general/DataflowSolverEngine.java index 2adaa948..80630fe6 100644 --- a/src/dataflow/solvers/general/DataflowSolverEngine.java +++ b/src/dataflow/solvers/general/DataflowSolverEngine.java @@ -10,8 +10,6 @@ /** * DataflowGeneralSolver is the solver for dataflow type system. It encode dataflow type hierarchy * as two qualifiers type system. - * - * @author jianchu */ public class DataflowSolverEngine extends SolverEngine { diff --git a/src/dataflow/util/DataflowUtils.java b/src/dataflow/util/DataflowUtils.java index a887a466..5fa05c0f 100644 --- a/src/dataflow/util/DataflowUtils.java +++ b/src/dataflow/util/DataflowUtils.java @@ -20,11 +20,7 @@ import dataflow.qual.DataFlow; -/** - * Utility class for Dataflow type system. - * - * @author jianchu - */ +/** Utility class for Dataflow type system. */ public class DataflowUtils { /** The DataFlow.typeNames element/field. */ diff --git a/src/ostrusted/OsTrustedChecker.java b/src/ostrusted/OsTrustedChecker.java index bafd5570..48934f1e 100644 --- a/src/ostrusted/OsTrustedChecker.java +++ b/src/ostrusted/OsTrustedChecker.java @@ -8,10 +8,7 @@ import ostrusted.qual.OsUntrusted; import trusted.TrustedChecker; -/** - * @author sdietzel [2] CWE-78 Improper Neutralization of Special Elements used in an OS Command - * ('OS Command Injection') - */ +/** ('OS Command Injection') */ public class OsTrustedChecker extends TrustedChecker { @Override diff --git a/src/sparta/checkers/SimpleFlowAnnotatedTypeFactory.java b/src/sparta/checkers/SimpleFlowAnnotatedTypeFactory.java index 3d99b856..a3ac3f2b 100644 --- a/src/sparta/checkers/SimpleFlowAnnotatedTypeFactory.java +++ b/src/sparta/checkers/SimpleFlowAnnotatedTypeFactory.java @@ -49,7 +49,6 @@ import sparta.checkers.qual.Sink; import sparta.checkers.qual.Source; -/** Created by mcarthur on 4/3/14. */ public class SimpleFlowAnnotatedTypeFactory extends BaseInferenceRealTypeFactory { static AnnotationMirror ANYSOURCE, NOSOURCE, ANYSINK, NOSINK; diff --git a/src/sparta/checkers/propagation/IFlowSolver.java b/src/sparta/checkers/propagation/IFlowSolver.java index facf6790..f7740f86 100644 --- a/src/sparta/checkers/propagation/IFlowSolver.java +++ b/src/sparta/checkers/propagation/IFlowSolver.java @@ -52,8 +52,6 @@ *

The algorithm processes list of constraints, adding the Strings to the inferredValues map as * needed. The entire list of constraints is processed repeatedly until the inferredValues map no * longer changes. - * - * @author mcarthur */ public abstract class IFlowSolver implements InferenceSolver { diff --git a/src/sparta/checkers/qual/FlowPermissionString.java b/src/sparta/checkers/qual/FlowPermissionString.java index 35af2ad0..d33e888f 100644 --- a/src/sparta/checkers/qual/FlowPermissionString.java +++ b/src/sparta/checkers/qual/FlowPermissionString.java @@ -3,8 +3,6 @@ /** * This class contains constant that correspond to the FlowPermission. These are to be used * in @Source or @Sink annotations. - * - * @author smillst */ public class FlowPermissionString { public static final String EXTRA_DEFAULT = "EXTRA_DEFAULT"; diff --git a/src/sparta/checkers/sat/IFlowResult.java b/src/sparta/checkers/sat/IFlowResult.java index 77fb6bba..f4cd06b4 100644 --- a/src/sparta/checkers/sat/IFlowResult.java +++ b/src/sparta/checkers/sat/IFlowResult.java @@ -14,7 +14,6 @@ import checkers.inference.InferenceMain; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/21/15. */ public abstract class IFlowResult extends DefaultInferenceResult { protected final Map> tempResults; protected final Map idToExistance; diff --git a/src/sparta/checkers/sat/IFlowSerializer.java b/src/sparta/checkers/sat/IFlowSerializer.java index c5a66578..c67886e1 100644 --- a/src/sparta/checkers/sat/IFlowSerializer.java +++ b/src/sparta/checkers/sat/IFlowSerializer.java @@ -4,7 +4,6 @@ import checkers.inference.model.serialization.CnfVecIntSerializer; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/16/15. */ public abstract class IFlowSerializer extends CnfVecIntSerializer { protected PFPermission permission; diff --git a/src/sparta/checkers/sat/IFlowSolver.java b/src/sparta/checkers/sat/IFlowSolver.java index 8b5b97fe..2ba6dc6d 100644 --- a/src/sparta/checkers/sat/IFlowSolver.java +++ b/src/sparta/checkers/sat/IFlowSolver.java @@ -14,7 +14,6 @@ import checkers.inference.model.Slot; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/17/15. */ public abstract class IFlowSolver implements InferenceSolver { public InferenceResult solve( diff --git a/src/sparta/checkers/sat/PermissionSolution.java b/src/sparta/checkers/sat/PermissionSolution.java index 34bfaef0..42ccbbfe 100644 --- a/src/sparta/checkers/sat/PermissionSolution.java +++ b/src/sparta/checkers/sat/PermissionSolution.java @@ -5,7 +5,6 @@ import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/19/15. */ public class PermissionSolution { Map result; Map idToExistence; diff --git a/src/sparta/checkers/sat/SinkResult.java b/src/sparta/checkers/sat/SinkResult.java index 8ca5672d..b6c6f70e 100644 --- a/src/sparta/checkers/sat/SinkResult.java +++ b/src/sparta/checkers/sat/SinkResult.java @@ -10,7 +10,6 @@ import sparta.checkers.iflow.util.IFlowUtils; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/21/15. */ public class SinkResult extends IFlowResult { public SinkResult( Collection solutions, ProcessingEnvironment processingEnv) { diff --git a/src/sparta/checkers/sat/SinkSerializer.java b/src/sparta/checkers/sat/SinkSerializer.java index 49e6e160..bbf735ba 100644 --- a/src/sparta/checkers/sat/SinkSerializer.java +++ b/src/sparta/checkers/sat/SinkSerializer.java @@ -9,7 +9,6 @@ import sparta.checkers.iflow.util.IFlowUtils; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/21/15. */ public class SinkSerializer extends IFlowSerializer { protected final IFlowUtils flowUtils; diff --git a/src/sparta/checkers/sat/SinkSolver.java b/src/sparta/checkers/sat/SinkSolver.java index 51792566..12c85e1a 100644 --- a/src/sparta/checkers/sat/SinkSolver.java +++ b/src/sparta/checkers/sat/SinkSolver.java @@ -17,7 +17,6 @@ import sparta.checkers.iflow.util.IFlowUtils; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/21/15. */ public class SinkSolver extends IFlowSolver { protected IFlowUtils flowUtils; diff --git a/src/sparta/checkers/sat/SourceResult.java b/src/sparta/checkers/sat/SourceResult.java index f23b03bf..6f89c44f 100644 --- a/src/sparta/checkers/sat/SourceResult.java +++ b/src/sparta/checkers/sat/SourceResult.java @@ -8,7 +8,6 @@ import sparta.checkers.iflow.util.IFlowUtils; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/21/15. */ public class SourceResult extends IFlowResult { public SourceResult( diff --git a/src/sparta/checkers/sat/SourceSerializer.java b/src/sparta/checkers/sat/SourceSerializer.java index d938ca5c..934ce91d 100644 --- a/src/sparta/checkers/sat/SourceSerializer.java +++ b/src/sparta/checkers/sat/SourceSerializer.java @@ -9,7 +9,6 @@ import sparta.checkers.iflow.util.IFlowUtils; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/21/15. */ public class SourceSerializer extends IFlowSerializer { protected final IFlowUtils flowUtils; diff --git a/src/sparta/checkers/sat/SourceSolver.java b/src/sparta/checkers/sat/SourceSolver.java index 865f65c0..69efda16 100644 --- a/src/sparta/checkers/sat/SourceSolver.java +++ b/src/sparta/checkers/sat/SourceSolver.java @@ -13,7 +13,6 @@ import sparta.checkers.iflow.util.IFlowUtils; import sparta.checkers.iflow.util.PFPermission; -/** Created by smillst on 9/17/15. */ public class SourceSolver extends IFlowSolver { protected IFlowUtils flowUtils; diff --git a/tests/checkers/inference/test/InferenceTestUtilities.java b/tests/checkers/inference/test/InferenceTestUtilities.java index 9c44e36f..5ec39d5f 100644 --- a/tests/checkers/inference/test/InferenceTestUtilities.java +++ b/tests/checkers/inference/test/InferenceTestUtilities.java @@ -15,7 +15,6 @@ import java.util.regex.Matcher; import java.util.regex.Pattern; -/** Created by jburke on 7/7/15. */ public class InferenceTestUtilities { public static List replaceParentDirs(File newParent, List testSourceFiles) {