Download phantm Free Java Code

.gitignore//w ww  .  ja  v  a  2  s .  c o m
Makefile
README.md
TODO.md
all_graphs.sh
bin/JFlex.jar
bin/proguard.jar
build.sbt
build.xml
demos/bug01.php
demos/bug02.php
demos/bug03.php
demos/bug04.php
demos/bug05.php
demos/complex_types.php
demos/internal_api.php
demos/poster.php
demos/simple_type_inference.php
demos/type_refinement.php
diff_lints.sh
diff_tokens.sh
helpers.sh
lib/cup/bin/JFlex.jar
lib/cup/bin/java-cup-11.jar
lib/cup/bin/java-cup-11a.jar
lib/cup/build.xml
lib/cup/changelog.txt
lib/cup/cup/parser.cup
lib/cup/flex/Lexer.jflex
lib/cup/java/java_cup/ErrorManager.java
lib/cup/java/java_cup/Lexer.java
lib/cup/java/java_cup/Main.java
lib/cup/java/java_cup/action_part.java
lib/cup/java/java_cup/action_production.java
lib/cup/java/java_cup/anttask/CUPTask.java
lib/cup/java/java_cup/assoc.java
lib/cup/java/java_cup/emit.java
lib/cup/java/java_cup/internal_error.java
lib/cup/java/java_cup/lalr_item.java
lib/cup/java/java_cup/lalr_item_set.java
lib/cup/java/java_cup/lalr_state.java
lib/cup/java/java_cup/lalr_transition.java
lib/cup/java/java_cup/lr_item_core.java
lib/cup/java/java_cup/non_terminal.java
lib/cup/java/java_cup/nonassoc_action.java
lib/cup/java/java_cup/parse_action.java
lib/cup/java/java_cup/parse_action_row.java
lib/cup/java/java_cup/parse_action_table.java
lib/cup/java/java_cup/parse_reduce_row.java
lib/cup/java/java_cup/parse_reduce_table.java
lib/cup/java/java_cup/production.java
lib/cup/java/java_cup/production_part.java
lib/cup/java/java_cup/reduce_action.java
lib/cup/java/java_cup/runtime/ComplexSymbolFactory.java
lib/cup/java/java_cup/runtime/DefaultSymbolFactory.java
lib/cup/java/java_cup/runtime/Scanner.java
lib/cup/java/java_cup/runtime/Symbol.java
lib/cup/java/java_cup/runtime/SymbolFactory.java
lib/cup/java/java_cup/runtime/lr_parser.java
lib/cup/java/java_cup/runtime/virtual_parse_stack.java
lib/cup/java/java_cup/shift_action.java
lib/cup/java/java_cup/symbol.java
lib/cup/java/java_cup/symbol_part.java
lib/cup/java/java_cup/symbol_set.java
lib/cup/java/java_cup/terminal.java
lib/cup/java/java_cup/terminal_set.java
lib/cup/java/java_cup/version.java
lib/cup/manual.html
lib/cup/src/java_cup/ErrorManager.java
lib/cup/src/java_cup/Main.java
lib/cup/src/java_cup/action_part.java
lib/cup/src/java_cup/action_production.java
lib/cup/src/java_cup/anttask/CUPTask.java
lib/cup/src/java_cup/assoc.java
lib/cup/src/java_cup/emit.java
lib/cup/src/java_cup/internal_error.java
lib/cup/src/java_cup/lalr_item.java
lib/cup/src/java_cup/lalr_item_set.java
lib/cup/src/java_cup/lalr_state.java
lib/cup/src/java_cup/lalr_transition.java
lib/cup/src/java_cup/lr_item_core.java
lib/cup/src/java_cup/non_terminal.java
lib/cup/src/java_cup/nonassoc_action.java
lib/cup/src/java_cup/parse_action.java
lib/cup/src/java_cup/parse_action_row.java
lib/cup/src/java_cup/parse_action_table.java
lib/cup/src/java_cup/parse_reduce_row.java
lib/cup/src/java_cup/parse_reduce_table.java
lib/cup/src/java_cup/production.java
lib/cup/src/java_cup/production_part.java
lib/cup/src/java_cup/reduce_action.java
lib/cup/src/java_cup/runtime/ComplexSymbolFactory.java
lib/cup/src/java_cup/runtime/DefaultSymbolFactory.java
lib/cup/src/java_cup/runtime/Scanner.java
lib/cup/src/java_cup/runtime/Symbol.java
lib/cup/src/java_cup/runtime/SymbolFactory.java
lib/cup/src/java_cup/runtime/lr_parser.java
lib/cup/src/java_cup/runtime/virtual_parse_stack.java
lib/cup/src/java_cup/shift_action.java
lib/cup/src/java_cup/symbol.java
lib/cup/src/java_cup/symbol_part.java
lib/cup/src/java_cup/symbol_set.java
lib/cup/src/java_cup/terminal.java
lib/cup/src/java_cup/terminal_set.java
lib/cup/src/java_cup/version.java
lib/java-cup-11a-runtime.jar
phantm
php/phantm.php
presentation/images/arrays.png
presentation/images/branches.png
presentation/images/cond-type1.png
presentation/images/loops.png
presentation/images/objects.png
presentation/images/redudant.png
presentation/images/verbosity.png
presentation/presentation.odp
presentation/presentation12.01.10.pdf
presentation/presentation_sav.odp
presentation/presentation_sav11.06.10.pdf
presentation/rv2010.pdf
proguard.conf
project/build.properties
project/plugins.sbt
report/report.tex
scala-license.txt
spec/classesToXML.php
spec/constantsToXML.php
spec/funcsummaryToXML.php
spec/internal_api.xml
spec/php.cup
spec/php.jflex
spec/translate.php
src/main/java/phantm/parser/Comment.java
src/main/java/phantm/parser/ParseNode.java
src/main/scala/phantm/Main.scala
src/main/scala/phantm/Settings.scala
src/main/scala/phantm/annotations/Annotation.scala
src/main/scala/phantm/annotations/AnnotationStore.scala
src/main/scala/phantm/annotations/SourceAnnotations.scala
src/main/scala/phantm/ast/ASTTransform.scala
src/main/scala/phantm/ast/ASTTraversal.scala
src/main/scala/phantm/ast/STToAST.scala
src/main/scala/phantm/ast/Trees.scala
src/main/scala/phantm/cfg/ASTToCFG.scala
src/main/scala/phantm/cfg/ControlFlowGraph.scala
src/main/scala/phantm/cfg/LabeledDirectedGraph.scala
src/main/scala/phantm/cfg/Trees.scala
src/main/scala/phantm/dataflow/AnalysisAlgorithm.scala
src/main/scala/phantm/dataflow/Environment.scala
src/main/scala/phantm/dataflow/StronglyConnectedComponents.scala
src/main/scala/phantm/dataflow/TransferFunction.scala
src/main/scala/phantm/helpers/ASTGraph.scala
src/main/scala/phantm/helpers/CFGGraph.scala
src/main/scala/phantm/helpers/Helper.scala
src/main/scala/phantm/helpers/Lint.scala
src/main/scala/phantm/helpers/Main.scala
src/main/scala/phantm/helpers/STGraph.scala
src/main/scala/phantm/helpers/Tokenizer.scala
src/main/scala/phantm/lattice/Lattice.scala
src/main/scala/phantm/lattice/PartialOrder.scala
src/main/scala/phantm/parser/Parser.scala
src/main/scala/phantm/phases/APIExportingPhase.scala
src/main/scala/phantm/phases/APIImportationPhase.scala
src/main/scala/phantm/phases/ASTChecksPhase.scala
src/main/scala/phantm/phases/ASTPruningPhase.scala
src/main/scala/phantm/phases/CFGGenerationPhase.scala
src/main/scala/phantm/phases/CallGraphPhase.scala
src/main/scala/phantm/phases/DumpsCollectionPhase.scala
src/main/scala/phantm/phases/IncludesConstantsResolutionPhase.scala
src/main/scala/phantm/phases/MethodGraphPhase.scala
src/main/scala/phantm/phases/NamespaceResolver.scala
src/main/scala/phantm/phases/ParsingPhase.scala
src/main/scala/phantm/phases/Phase.scala
src/main/scala/phantm/phases/PhaseSeq.scala
src/main/scala/phantm/phases/PhasesContext.scala
src/main/scala/phantm/phases/PhasesRunner.scala
src/main/scala/phantm/phases/PureStatementsPhases.scala
src/main/scala/phantm/phases/SymbolsChecksPhase.scala
src/main/scala/phantm/phases/SymbolsCollectionPhase.scala
src/main/scala/phantm/phases/TypeAnalyzingPhase.scala
src/main/scala/phantm/symbols/Symbols.scala
src/main/scala/phantm/types/BaseTypeEnvironment.scala
src/main/scala/phantm/types/TypeEnvironment.scala
src/main/scala/phantm/types/TypeFlowAnalyzer.scala
src/main/scala/phantm/types/TypeHelpers.scala
src/main/scala/phantm/types/TypeLattice.scala
src/main/scala/phantm/types/TypeTransferFunction.scala
src/main/scala/phantm/types/TypeWideningFunction.scala
src/main/scala/phantm/types/Types.scala
src/main/scala/phantm/util/API.scala
src/main/scala/phantm/util/ConstantsResolver.scala
src/main/scala/phantm/util/DumpCollector.scala
src/main/scala/phantm/util/Evaluator.scala
src/main/scala/phantm/util/GlobalAnalysisResults.scala
src/main/scala/phantm/util/IncludeResolver.scala
src/main/scala/phantm/util/JavaListIteratorWrapper.scala
src/main/scala/phantm/util/Positional.scala
src/main/scala/phantm/util/Reporter.scala
src/main/scala/phantm/util/Unserializer.scala
src/test/scala/insane/tests/BasicTests.scala
src/test/scala/insane/tests/DetectionTests.scala
src/test/scala/insane/tests/NamespacesTests.scala
src/test/scala/insane/tests/TestDriver.scala
tests/_ns-pass-011_inc.php
tests/comments001.phpt
tests/dynamic_class_names001.phpt
tests/fail-001.php
tests/fail-002.php
tests/fail-003.php
tests/fail-004.php
tests/fail-005.php
tests/fail-006.php
tests/fail-007.php
tests/fail-008.php
tests/fail-009.php
tests/fail-010.php
tests/fail-011.php
tests/fail-012.php
tests/fail-013.php
tests/html001.phpt
tests/inc-001-1.php
tests/inc-001-2.php
tests/inc-001.php
tests/ns-fail-001.php
tests/ns-fail-002.php
tests/ns-fail-003.php
tests/ns-pass-001.php
tests/ns-pass-002.php
tests/ns-pass-003.php
tests/ns-pass-004.php
tests/ns-pass-005.php
tests/ns-pass-006.php
tests/ns-pass-007.php
tests/ns-pass-008.php
tests/ns-pass-009.php
tests/ns-pass-010.php
tests/ns-pass-011.php
tests/ns001.php
tests/ns002.php
tests/ns015.php
tests/operators001.phpt
tests/pass-001.php
tests/pass-002.php
tests/pass-003.php
tests/strings001.phpt
tests/strings002.phpt
tests/strings003.phpt
tests/strings004.phpt
tests/target001.php
tests/target002.php
tests/target003.php
tests/target004.php
tests/target005.php
tests/target006.php
tests/target007.php
tests/target008.php
tests/target009.php
tests/target010.php
tests/target011.php
tests/target012.php
tests/target013.php
tests/target014.php
tests/target015.php
tests/target016.php
tests/target017.php
tests/target018.php
tests/target019.php
tests/target020.php
tests/target021.php
tests/target022.php
tests/target023.php
tests/target024.php
tests/tokenizer.php