DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

added the com.ibm.wala.ide.jdt project

This commit is contained in:
Julian Dolby 2012-08-21 18:52:09 -04:00
parent 3f47e6e4b2
commit 4a850a9510
145 changed files with 1440 additions and 11645 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
com.ibm.wala.cast.java.jdt.test/.classpath
View File

@ -3,6 +3,5 @@
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="source"/>
<classpathentry kind="src" path="data"/>
<classpathentry kind="output" path="bin"/>
</classpath>

3
com.ibm.wala.cast.java.jdt.test/META-INF/MANIFEST.MF
View File

@ -17,6 +17,7 @@ Require-Bundle: com.ibm.wala.cast.java.test;bundle-version="1.0.0",
org.eclipse.core.resources;bundle-version="3.4.1",
org.eclipse.jdt.core;bundle-version="3.4.2",
org.junit4;bundle-version="4.8.1",
org.eclipse.core.runtime
org.eclipse.core.runtime,
org.eclipse.pde.core;bundle-version="3.8.0"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: J2SE-1.5

11
com.ibm.wala.cast.java.jdt.test/data/Java60RegressionExclusions.txt
View File

@ -1,11 +0,0 @@
java\/awt\/.*
javax\/swing\/.*
sun\/awt\/.*
sun\/swing\/.*
com\/sun\/.*
sun\/.*
org\/netbeans\/.*
org\/openide\/.*
com\/ibm\/crypto\/.*
com\/ibm\/security\/.*
org\/apache\/xerces\/.*

10
com.ibm.wala.cast.java.jdt.test/launchers/JDTJava15IRTests.launch
View File

File diff suppressed because one or more lines are too long

10
com.ibm.wala.cast.java.jdt.test/launchers/JDTJavaIRTests.launch
View File

File diff suppressed because one or more lines are too long

7
com.ibm.wala.cast.java.jdt/.classpath
View File

@ -1,7 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="source"/>
<classpathentry kind="output" path="bin"/>
</classpath>

28
com.ibm.wala.cast.java.jdt/.project
View File

@ -1,28 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>com.ibm.wala.cast.java.jdt</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.ManifestBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.SchemaBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.pde.PluginNature</nature>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>

278
com.ibm.wala.cast.java.jdt/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,278 +0,0 @@
#Thu Feb 03 10:12:26 EST 2011
eclipse.preferences.version=1
org.eclipse.jdt.core.codeComplete.argumentPrefixes=
org.eclipse.jdt.core.codeComplete.argumentSuffixes=
org.eclipse.jdt.core.codeComplete.fieldPrefixes=
org.eclipse.jdt.core.codeComplete.fieldSuffixes=
org.eclipse.jdt.core.codeComplete.localPrefixes=
org.eclipse.jdt.core.codeComplete.localSuffixes=
org.eclipse.jdt.core.codeComplete.staticFieldPrefixes=
org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_enum_constant=16
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_explicit_constructor_call=16
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_method_invocation=16
org.eclipse.jdt.core.formatter.alignment_for_arguments_in_qualified_allocation_expression=16
org.eclipse.jdt.core.formatter.alignment_for_assignment=0
org.eclipse.jdt.core.formatter.alignment_for_binary_expression=16
org.eclipse.jdt.core.formatter.alignment_for_compact_if=16
org.eclipse.jdt.core.formatter.alignment_for_conditional_expression=80
org.eclipse.jdt.core.formatter.alignment_for_enum_constants=0
org.eclipse.jdt.core.formatter.alignment_for_expressions_in_array_initializer=16
org.eclipse.jdt.core.formatter.alignment_for_method_declaration=0
org.eclipse.jdt.core.formatter.alignment_for_multiple_fields=16
org.eclipse.jdt.core.formatter.alignment_for_parameters_in_constructor_declaration=16
org.eclipse.jdt.core.formatter.alignment_for_parameters_in_method_declaration=16
org.eclipse.jdt.core.formatter.alignment_for_selector_in_method_invocation=16
org.eclipse.jdt.core.formatter.alignment_for_superclass_in_type_declaration=16
org.eclipse.jdt.core.formatter.alignment_for_superinterfaces_in_enum_declaration=16
org.eclipse.jdt.core.formatter.alignment_for_superinterfaces_in_type_declaration=16
org.eclipse.jdt.core.formatter.alignment_for_throws_clause_in_constructor_declaration=16
org.eclipse.jdt.core.formatter.alignment_for_throws_clause_in_method_declaration=16
org.eclipse.jdt.core.formatter.blank_lines_after_imports=1
org.eclipse.jdt.core.formatter.blank_lines_after_package=1
org.eclipse.jdt.core.formatter.blank_lines_before_field=0
org.eclipse.jdt.core.formatter.blank_lines_before_first_class_body_declaration=0
org.eclipse.jdt.core.formatter.blank_lines_before_imports=1
org.eclipse.jdt.core.formatter.blank_lines_before_member_type=1
org.eclipse.jdt.core.formatter.blank_lines_before_method=1
org.eclipse.jdt.core.formatter.blank_lines_before_new_chunk=1
org.eclipse.jdt.core.formatter.blank_lines_before_package=0
org.eclipse.jdt.core.formatter.blank_lines_between_import_groups=1
org.eclipse.jdt.core.formatter.blank_lines_between_type_declarations=1
org.eclipse.jdt.core.formatter.brace_position_for_annotation_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_anonymous_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_array_initializer=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_block=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_block_in_case=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_constructor_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_enum_constant=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
org.eclipse.jdt.core.formatter.comment.format_line_comments=true
org.eclipse.jdt.core.formatter.comment.format_source_code=true
org.eclipse.jdt.core.formatter.comment.indent_parameter_description=true
org.eclipse.jdt.core.formatter.comment.indent_root_tags=true
org.eclipse.jdt.core.formatter.comment.insert_new_line_before_root_tags=insert
org.eclipse.jdt.core.formatter.comment.insert_new_line_for_parameter=insert
org.eclipse.jdt.core.formatter.comment.line_length=80
org.eclipse.jdt.core.formatter.comment.new_lines_at_block_boundaries=true
org.eclipse.jdt.core.formatter.comment.new_lines_at_javadoc_boundaries=true
org.eclipse.jdt.core.formatter.compact_else_if=true
org.eclipse.jdt.core.formatter.continuation_indentation=2
org.eclipse.jdt.core.formatter.continuation_indentation_for_array_initializer=2
org.eclipse.jdt.core.formatter.disabling_tag=@formatter\:off
org.eclipse.jdt.core.formatter.enabling_tag=@formatter\:on
org.eclipse.jdt.core.formatter.format_guardian_clause_on_one_line=false
org.eclipse.jdt.core.formatter.format_line_comment_starting_on_first_column=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_annotation_declaration_header=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_constant_header=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_declaration_header=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_type_header=true
org.eclipse.jdt.core.formatter.indent_breaks_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_empty_lines=false
org.eclipse.jdt.core.formatter.indent_statements_compare_to_block=true
org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=2
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_local_variable=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_member=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation_on_parameter=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_after_label=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_closing_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_else_in_if_statement=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_finally_in_try_statement=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_while_in_do_statement=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_annotation_declaration=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_anonymous_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_block=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_enum_constant=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_enum_declaration=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_method_body=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_after_and_in_type_parameter=insert
org.eclipse.jdt.core.formatter.insert_space_after_assignment_operator=insert
org.eclipse.jdt.core.formatter.insert_space_after_at_in_annotation=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_at_in_annotation_type_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_binary_operator=insert
org.eclipse.jdt.core.formatter.insert_space_after_closing_angle_bracket_in_type_arguments=insert
org.eclipse.jdt.core.formatter.insert_space_after_closing_angle_bracket_in_type_parameters=insert
org.eclipse.jdt.core.formatter.insert_space_after_closing_brace_in_block=insert
org.eclipse.jdt.core.formatter.insert_space_after_closing_paren_in_cast=insert
org.eclipse.jdt.core.formatter.insert_space_after_colon_in_assert=insert
org.eclipse.jdt.core.formatter.insert_space_after_colon_in_case=insert
org.eclipse.jdt.core.formatter.insert_space_after_colon_in_conditional=insert
org.eclipse.jdt.core.formatter.insert_space_after_colon_in_for=insert
org.eclipse.jdt.core.formatter.insert_space_after_colon_in_labeled_statement=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_allocation_expression=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_annotation=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_array_initializer=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_constructor_declaration_parameters=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_constructor_declaration_throws=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_enum_constant_arguments=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_enum_declarations=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_explicitconstructorcall_arguments=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_for_increments=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_for_inits=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_declaration_parameters=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_declaration_throws=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_invocation_arguments=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_multiple_field_declarations=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_multiple_local_declarations=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_parameterized_type_reference=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_superinterfaces=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_type_arguments=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_type_parameters=insert
org.eclipse.jdt.core.formatter.insert_space_after_ellipsis=insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_angle_bracket_in_parameterized_type_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_angle_bracket_in_type_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_angle_bracket_in_type_parameters=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_brace_in_array_initializer=insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_bracket_in_array_allocation_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_bracket_in_array_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_annotation=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_cast=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_catch=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_constructor_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_enum_constant=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_for=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_if=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_method_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_method_invocation=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_parenthesized_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_switch=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_synchronized=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_while=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_postfix_operator=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_prefix_operator=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_question_in_conditional=insert
org.eclipse.jdt.core.formatter.insert_space_after_question_in_wildcard=do not insert
org.eclipse.jdt.core.formatter.insert_space_after_semicolon_in_for=insert
org.eclipse.jdt.core.formatter.insert_space_after_unary_operator=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_and_in_type_parameter=insert
org.eclipse.jdt.core.formatter.insert_space_before_assignment_operator=insert
org.eclipse.jdt.core.formatter.insert_space_before_at_in_annotation_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_binary_operator=insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_angle_bracket_in_parameterized_type_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_angle_bracket_in_type_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_angle_bracket_in_type_parameters=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_brace_in_array_initializer=insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_bracket_in_array_allocation_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_bracket_in_array_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_annotation=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_cast=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_catch=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_constructor_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_enum_constant=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_for=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_if=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_method_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_method_invocation=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_parenthesized_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_switch=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_synchronized=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_closing_paren_in_while=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_colon_in_assert=insert
org.eclipse.jdt.core.formatter.insert_space_before_colon_in_case=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_colon_in_conditional=insert
org.eclipse.jdt.core.formatter.insert_space_before_colon_in_default=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_colon_in_for=insert
org.eclipse.jdt.core.formatter.insert_space_before_colon_in_labeled_statement=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_allocation_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_annotation=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_constructor_declaration_parameters=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_constructor_declaration_throws=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_enum_constant_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_enum_declarations=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_explicitconstructorcall_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_for_increments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_for_inits=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_method_declaration_parameters=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_method_declaration_throws=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_method_invocation_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_multiple_field_declarations=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_multiple_local_declarations=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_parameterized_type_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_superinterfaces=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_type_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_comma_in_type_parameters=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_ellipsis=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_angle_bracket_in_parameterized_type_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_angle_bracket_in_type_arguments=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_angle_bracket_in_type_parameters=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_annotation_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_anonymous_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_array_initializer=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_block=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_constructor_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_enum_constant=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_enum_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_method_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_switch=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_bracket_in_array_allocation_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_bracket_in_array_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_bracket_in_array_type_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_annotation=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_annotation_type_member_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_catch=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_constructor_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_enum_constant=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_for=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_if=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_method_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_method_invocation=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_parenthesized_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_switch=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_synchronized=insert
org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_while=insert
org.eclipse.jdt.core.formatter.insert_space_before_parenthesized_expression_in_return=insert
org.eclipse.jdt.core.formatter.insert_space_before_parenthesized_expression_in_throw=insert
org.eclipse.jdt.core.formatter.insert_space_before_postfix_operator=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_prefix_operator=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_question_in_conditional=insert
org.eclipse.jdt.core.formatter.insert_space_before_question_in_wildcard=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_semicolon=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_semicolon_in_for=do not insert
org.eclipse.jdt.core.formatter.insert_space_before_unary_operator=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_brackets_in_array_type_reference=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_braces_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_brackets_in_array_allocation_expression=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_annotation_type_member_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_constructor_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_enum_constant=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_method_declaration=do not insert
org.eclipse.jdt.core.formatter.insert_space_between_empty_parens_in_method_invocation=do not insert
org.eclipse.jdt.core.formatter.join_lines_in_comments=true
org.eclipse.jdt.core.formatter.join_wrapped_lines=true
org.eclipse.jdt.core.formatter.keep_else_statement_on_same_line=false
org.eclipse.jdt.core.formatter.keep_empty_array_initializer_on_one_line=false
org.eclipse.jdt.core.formatter.keep_imple_if_on_one_line=false
org.eclipse.jdt.core.formatter.keep_then_statement_on_same_line=false
org.eclipse.jdt.core.formatter.lineSplit=132
org.eclipse.jdt.core.formatter.never_indent_block_comments_on_first_column=false
org.eclipse.jdt.core.formatter.never_indent_line_comments_on_first_column=false
org.eclipse.jdt.core.formatter.number_of_blank_lines_at_beginning_of_method_body=0
org.eclipse.jdt.core.formatter.number_of_empty_lines_to_preserve=1
org.eclipse.jdt.core.formatter.put_empty_statement_on_new_line=true
org.eclipse.jdt.core.formatter.tabulation.char=space
org.eclipse.jdt.core.formatter.tabulation.size=2
org.eclipse.jdt.core.formatter.use_on_off_tags=false
org.eclipse.jdt.core.formatter.use_tabs_only_for_leading_indentations=false
org.eclipse.jdt.core.formatter.wrap_before_binary_operator=true
org.eclipse.jdt.core.formatter.wrap_outer_expressions_when_nested=true

10
com.ibm.wala.cast.java.jdt/.settings/org.eclipse.jdt.ui.prefs
View File

File diff suppressed because one or more lines are too long

20
com.ibm.wala.cast.java.jdt/META-INF/MANIFEST.MF
View File

@ -1,20 +0,0 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Jdt Plug-in
Bundle-SymbolicName: com.ibm.wala.cast.java.jdt
Bundle-Version: 1.0.0
Bundle-Activator: com.ibm.wala.cast.java.jdt.Activator
Bundle-Vendor: IBM
Require-Bundle: com.ibm.wala.cast,
com.ibm.wala.cast.java,
com.ibm.wala.core,
org.eclipse.core.runtime,
org.eclipse.jdt.core,
org.eclipse.core.resources,
com.ibm.wala.shrike,
com.ibm.wala.ide
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.java.client,
com.ibm.wala.cast.java.jdt,
com.ibm.wala.cast.java.translator.jdt
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

89
com.ibm.wala.cast.java.jdt/source/com/ibm/wala/cast/java/jdt/Activator.java
View File

@ -1,89 +0,0 @@
/*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html.
*
* This file is a derivative of code released by the University of
* California under the terms listed below.
*
* WALA JDT Frontend is Copyright (c) 2008 The Regents of the
* University of California (Regents). Provided that this notice and
* the following two paragraphs are included in any distribution of
* Refinement Analysis Tools or its derivative work, Regents agrees
* not to assert any of Regents' copyright rights in Refinement
* Analysis Tools against recipient for recipient's reproduction,
* preparation of derivative works, public display, public
* performance, distribution or sublicensing of Refinement Analysis
* Tools and derivative works, in source code and object code form.
* This agreement not to assert does not confer, by implication,
* estoppel, or otherwise any license or rights in any intellectual
* property of Regents, including, but not limited to, any patents
* of Regents or Regents' employees.
*
* IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT,
* INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES,
* INCLUDING LOST PROFITS, ARISING OUT OF THE USE OF THIS SOFTWARE
* AND ITS DOCUMENTATION, EVEN IF REGENTS HAS BEEN ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*
* REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
* FOR A PARTICULAR PURPOSE AND FURTHER DISCLAIMS ANY STATUTORY
* WARRANTY OF NON-INFRINGEMENT. THE SOFTWARE AND ACCOMPANYING
* DOCUMENTATION, IF ANY, PROVIDED HEREUNDER IS PROVIDED "AS
* IS". REGENTS HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT,
* UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
*/
package com.ibm.wala.cast.java.jdt;
import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;
/**
* The activator class controls the plug-in life cycle
*/
public class Activator extends Plugin {
// The plug-in ID
public static final String PLUGIN_ID = "com.ibm.wala.cast.java.jdt";
// The shared instance
private static Activator plugin;
/**
* The constructor
*/
public Activator() {
}
/*
* (non-Javadoc)
*
* @see org.eclipse.core.runtime.Plugins#start(org.osgi.framework.BundleContext)
*/
public void start(BundleContext context) throws Exception {
super.start(context);
plugin = this;
}
/*
* (non-Javadoc)
*
* @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
*/
public void stop(BundleContext context) throws Exception {
plugin = null;
super.stop(context);
}
/**
* Returns the shared instance
*
* @return the shared instance
*/
public static Activator getDefault() {
return plugin;
}
}

4
com.ibm.wala.cast.java.polyglot/.classpath
View File

@ -1,8 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="source"/>
<classpathentry exported="true" kind="lib" path="lib/polyglot.jar"/>
<classpathentry exported="true" kind="lib" path="lib/java_cup.jar"/>
<classpathentry kind="lib" path="lib/polyglot.jar"/>
<classpathentry kind="lib" path="lib/java_cup.jar"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
<classpathentry kind="output" path="bin"/>

47
com.ibm.wala.cast.java.polyglot/META-INF/MANIFEST.MF
View File

@ -14,38 +14,19 @@ Require-Bundle: com.ibm.wala.cast.java,
org.eclipse.core.resources
Bundle-RequiredExecutionEnvironment: J2SE-1.5
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.java.polyglot;uses:="org.eclipse.core.runtime,org.osgi.framework",
com.ibm.wala.cast.java.translator.polyglot;
uses:="polyglot.types,
com.ibm.wala.cast.tree,
com.ibm.wala.classLoader,
com.ibm.wala.ipa.cha,
com.ibm.wala.cast.java.types,
com.ibm.wala.cast.java.translator,
com.ibm.wala.cast.java.client,
com.ibm.wala.types,
polyglot.ast,
Export-Package: com.ibm.wala.cast.java.translator.polyglot;
uses:="com.ibm.wala.types,
polyglot.types,
polyglot.util,
com.ibm.wala.ipa.callgraph,
polyglot.frontend,
com.ibm.wala.cast.ir.translator,
com.ibm.wala.ipa.callgraph.impl,
polyglot.ast,
com.ibm.wala.ipa.cha,
com.ibm.wala.cast.java.client,
com.ibm.wala.classLoader,
com.ibm.wala.cast.tree,
com.ibm.wala.cast.java.loader,
com.ibm.wala.cast.tree.impl",
java_cup,
java_cup.runtime,
polyglot.ast,
polyglot.dispatch,
polyglot.frontend,
polyglot.lex,
polyglot.main,
polyglot.parse,
polyglot.qq,
polyglot.types,
polyglot.types.reflect,
polyglot.util,
polyglot.util.typedump,
polyglot.visit
Bundle-ClassPath: lib/java_cup.jar,
lib/polyglot.jar,
.
com.ibm.wala.ipa.callgraph.impl,
com.ibm.wala.ipa.callgraph,
polyglot.frontend.goals,
com.ibm.wala.cast.tree.impl,
com.ibm.wala.cast.java.translator,
com.ibm.wala.cast.java.types"

4
com.ibm.wala.cast.java.polyglot/build.properties
View File

@ -1,6 +1,4 @@
source.. = source/
output.. = bin/
bin.includes = META-INF/,\
.,\
lib/java_cup.jar,\
lib/polyglot.jar
.

52
com.ibm.wala.cast.java.polyglot/source/com/ibm/wala/cast/java/polyglot/Activator.java
View File

@ -1,52 +0,0 @@
package com.ibm.wala.cast.java.polyglot;
import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;
/**
* The activator class controls the plug-in life cycle
*/
public class Activator extends Plugin {
// The plug-in ID
public static final String PLUGIN_ID = "com.ibm.wala.cast.java.polyglot";
// The shared instance
private static Activator plugin;
/**
* The constructor
*/
public Activator() {
}
/*
* (non-Javadoc)
*
* @see org.eclipse.core.runtime.Plugins#start(org.osgi.framework.BundleContext)
*/
public void start(BundleContext context) throws Exception {
super.start(context);
plugin = this;
}
/*
* (non-Javadoc)
*
* @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
*/
public void stop(BundleContext context) throws Exception {
plugin = null;
super.stop(context);
}
/**
* Returns the shared instance
*
* @return the shared instance
*/
public static Activator getDefault() {
return plugin;
}
}

5
com.ibm.wala.cast.java.test/META-INF/MANIFEST.MF
View File

@ -5,12 +5,13 @@ Bundle-SymbolicName: com.ibm.wala.cast.java.test
Bundle-Version: 1.0.0
Bundle-Activator: com.ibm.wala.cast.java.test.TestPlugin
Bundle-Vendor: IBM
Require-Bundle: com.ibm.wala.core.tests,
Require-Bundle: org.junit4,
com.ibm.wala.core.tests,
com.ibm.wala.cast.java,
com.ibm.wala.cast,
com.ibm.wala.core,
com.ibm.wala.shrike,
org.junit4
org.eclipse.core.runtime
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.java.test
Bundle-RequiredExecutionEnvironment: J2SE-1.5

53
com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/TestPlugin.java Normal file
View File

@ -0,0 +1,53 @@
/******************************************************************************
* Copyright (c) 2002 - 2006 IBM Corporation.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*****************************************************************************/
package com.ibm.wala.cast.java.test;
import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;
/**
* The main plugin class to be used in the desktop.
*/
public class TestPlugin extends Plugin {
//The shared instance.
private static TestPlugin plugin;
/**
* The constructor.
*/
public TestPlugin() {
plugin = this;
}
/**
* This method is called upon plug-in activation
*/
public void start(BundleContext context) throws Exception {
super.start(context);
}
/**
* This method is called when the plug-in is stopped
*/
public void stop(BundleContext context) throws Exception {
super.stop(context);
plugin = null;
}
/**
* Returns the shared instance.
*/
public static TestPlugin getDefault() {
return plugin;
}
}

7
com.ibm.wala.cast.java/META-INF/MANIFEST.MF
View File

@ -3,12 +3,15 @@ Bundle-ManifestVersion: 2
Bundle-Name: Java Source WALA Front End
Bundle-SymbolicName: com.ibm.wala.cast.java
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: com.ibm.wala.cast.java.JavaSourcePlugin
Bundle-Vendor: rfuhrer@watson.ibm.com
Require-Bundle: com.ibm.wala.cast,
com.ibm.wala.core,
com.ibm.wala.shrike
com.ibm.wala.shrike,
org.eclipse.core.runtime
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.java.analysis.typeInference,
Export-Package: com.ibm.wala.cast.java,
com.ibm.wala.cast.java.analysis.typeInference,
com.ibm.wala.cast.java.client,
com.ibm.wala.cast.java.client.impl,
com.ibm.wala.cast.java.examples.ast,

53
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/JavaSourcePlugin.java Normal file
View File

@ -0,0 +1,53 @@
/******************************************************************************
* Copyright (c) 2002 - 2006 IBM Corporation.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*****************************************************************************/
package com.ibm.wala.cast.java;
import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;
/**
* The main plugin class to be used in the desktop.
*/
public class JavaSourcePlugin extends Plugin {
//The shared instance.
private static JavaSourcePlugin plugin;
/**
* The constructor.
*/
public JavaSourcePlugin() {
plugin = this;
}
/**
* This method is called upon plug-in activation
*/
public void start(BundleContext context) throws Exception {
super.start(context);
}
/**
* This method is called when the plug-in is stopped
*/
public void stop(BundleContext context) throws Exception {
super.stop(context);
plugin = null;
}
/**
* Returns the shared instance.
*/
public static JavaSourcePlugin getDefault() {
return plugin;
}
}

1
com.ibm.wala.cast.js.rhino.test/META-INF/MANIFEST.MF
View File

@ -3,7 +3,6 @@ Bundle-ManifestVersion: 2
Bundle-Name: Test Plug-in
Bundle-SymbolicName: com.ibm.wala.cast.js.rhino.test
Bundle-Version: 1.0.0
Bundle-Activator: com.ibm.wala.cast.js.rhino.test.Activator
Bundle-Vendor: IBM
Require-Bundle: com.ibm.wala.cast.js.rhino;bundle-version="1.0.0",
com.ibm.wala.cast.js;bundle-version="1.0.0",

4
com.ibm.wala.cast.js.rhino/META-INF/MANIFEST.MF
View File

@ -3,8 +3,10 @@ Bundle-ManifestVersion: 2
Bundle-Name: Rhino Plug-in
Bundle-SymbolicName: com.ibm.wala.cast.js.rhino
Bundle-Version: 1.0.0
Bundle-Activator: com.ibm.wala.js.rhino.Activator
Bundle-Vendor: IBM
Require-Bundle: com.ibm.wala.cast;bundle-version="1.0.0",
Require-Bundle: org.eclipse.core.runtime,
com.ibm.wala.cast;bundle-version="1.0.0",
com.ibm.wala.cast.js;bundle-version="1.0.0",
com.ibm.wala.core;bundle-version="1.1.3"
Bundle-RequiredExecutionEnvironment: J2SE-1.5

50
com.ibm.wala.cast.js.rhino/source/com/ibm/wala/js/rhino/Activator.java Normal file
View File

@ -0,0 +1,50 @@
package com.ibm.wala.js.rhino;
import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;
/**
* The activator class controls the plug-in life cycle
*/
public class Activator extends Plugin {
// The plug-in ID
public static final String PLUGIN_ID = "com.ibm.wala.js.rhino";
// The shared instance
private static Activator plugin;
/**
* The constructor
*/
public Activator() {
}
/*
* (non-Javadoc)
* @see org.eclipse.core.runtime.Plugins#start(org.osgi.framework.BundleContext)
*/
public void start(BundleContext context) throws Exception {
super.start(context);
plugin = this;
}
/*
* (non-Javadoc)
* @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
*/
public void stop(BundleContext context) throws Exception {
plugin = null;
super.stop(context);
}
/**
* Returns the shared instance
*
* @return the shared instance
*/
public static Activator getDefault() {
return plugin;
}
}

28
com.ibm.wala.cast.js.test.data/.project
View File

@ -1,28 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>com.ibm.wala.cast.js.test.data</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.wst.jsdt.core.javascriptValidator</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.ManifestBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.SchemaBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.wst.jsdt.core.jsNature</nature>
<nature>org.eclipse.pde.PluginNature</nature>
</natures>
</projectDescription>

5
com.ibm.wala.cast.js.test.data/.settings/.jsdtscope
View File

@ -1,5 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.wst.jsdt.launching.baseBrowserLibrary"/>
<classpathentry kind="output" path=""/>
</classpath>

1
com.ibm.wala.cast.js.test.data/.settings/org.eclipse.wst.jsdt.ui.superType.container
View File

@ -1 +0,0 @@
org.eclipse.wst.jsdt.launching.baseBrowserLibrary

1
com.ibm.wala.cast.js.test.data/.settings/org.eclipse.wst.jsdt.ui.superType.name
View File

@ -1 +0,0 @@
Window

7
com.ibm.wala.cast.js.test.data/META-INF/MANIFEST.MF
View File

@ -1,7 +0,0 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Data
Bundle-SymbolicName: com.ibm.wala.cast.js.test.data;singleton:=true
Bundle-Version: 1.0.0.qualifier
Bundle-ClassPath: examples-src/
Bundle-ActivationPolicy: lazy

2
com.ibm.wala.cast.js.test.data/build.properties
View File

@ -1,2 +0,0 @@
bin.includes = META-INF/,\
examples-src/

258
com.ibm.wala.cast.js.test.data/examples-src/jquery.js vendored
View File

@ -1,258 +0,0 @@
/**
*
*/
(function top () {
var c = n.jQuery = n.$ = function dollar (a, d) {
return new c.fn.init(a, d);
}
c.fn = c.prototype = {
init: function init (a, d) {
a = a || document;
if (a.nodeType) {
this[0] = a;
this.length = 1;
this.context = a;
return this
}
if (typeof a === "string") {
var f = r.exec(a);
if (f && (f[1] || !d)) if (f[1]) a = c.clean([f[1]], d);
else {
if ((d = document.getElementById(f[3])) && d.id != f[3]) return c().find(a);
f = c(d || []);
f.context = document;
f.selector = a;
return f
} else return c(d).find(a)
} else if (c.isFunction(a)) return c(document).ready(a);
if (a.selector && a.context) {
this.selector =
a.selector;
this.context = a.context
}
return this.setArray(c.isArray(a) ? a : c.makeArray(a))
}
};
c.extend = c.fn.extend = function extend () {
var a =
arguments[0] || {},
d = 1,
f = arguments.length,
j = false,
q;
if (typeof a === "boolean") {
j = a;
a = arguments[1] || {};
d = 2
}
if (typeof a !== "object" && !c.isFunction(a)) a = {};
if (f == d) {
a = this;
--d
}
for (; d < f; d++) if ((q = arguments[d]) != null) for (var t in q) {
var y = a[t],
A = q[t];
if (a !== A) if (j && A && typeof A === "object" && !A.nodeType) a[t] = c.extend(j, y || (A.length != null ? [] : {}), A);
else if (A !== void 0) a[t] = A
}
return a
};
c.extend({
noConflict: function noConflict (a) {
n.$ =
B;
if (a) n.jQuery = w;
return c
},
isFunction: 2,
each: function each (a, d, f) {
var j, q = 0,
t = a.length;
if (f) if (t === void 0) for (j in a) {
if (d.apply(a[j], f) === false) break;
} else for (; q < t;) {
if (d.apply(a[q++], f) === false) break;
} else if (t === void 0) for (j in a) {
if (d.call(a[j], j, a[j]) === false) break;
} else for (f = a[0]; q < t && d.call(f, q, f) !== false; f = a[++q]);
return a
},
className: {
add: function add (a, d) {
c.each((d || "").split(/\s+/), function (f, j) {
if (a.nodeType == 1 && !c.className.has(a.className, j)) a.className += (a.className ? " " : "") + j
})
},
remove: function remove (a, d) {
if (a.nodeType == 1) a.className = d !== void 0 ? c.grep(a.className.split(/\s+/), function (f) {
return !c.className.has(d, f)
}).join(" ") : ""
},
has: function has (a, d) {
return a && c.inArray(d, (a.className || a).toString().split(/\s+/)) > -1
}
},
swap: function swap (a, d, f) {
var j = {};
for (var q in d) {
j[q] = a.style[q];
a.style[q] = d[q]
}
f.call(a);
for (q in d) a.style[q] = j[q]
},
css: function css (a, d, f, j) {
if (d == "width" || d == "height") {
var q;
f = {
position: "absolute",
visibility: "hidden",
display: "block"
};
var t = d == "width" ? ["Left", "Right"] : ["Top", "Bottom"],
y = function () {
q = d == "width" ? a.offsetWidth : a.offsetHeight;
j !== "border" && c.each(t, function () {
j || (q -= parseFloat(c.curCSS(a, "padding" + this, true)) || 0);
if (j === "margin") q += parseFloat(c.curCSS(a, "margin" + this, true)) || 0;
else q -= parseFloat(c.curCSS(a, "border" + this + "Width", true)) || 0
})
};
a.offsetWidth !== 0 ? y() : c.swap(a, f, y);
return Math.max(0, Math.round(q))
}
return c.curCSS(a, d, f)
},
curCSS: function curCSS (a, d, f) {
var j, q = a.style;
if (d == "opacity" && !c.support.opacity) {
j = c.attr(q, "opacity");
return j == "" ? "1" : j
}
if (d.match(/float/i)) d = W;
if (!f && q && q[d]) j = q[d];
else if (F.getComputedStyle) {
if (d.match(/float/i)) d = "float";
d = d.replace(/([A-Z])/g, "-$1").toLowerCase();
if (a = F.getComputedStyle(a, null)) j = a.getPropertyValue(d);
if (d == "opacity" && j == "") j = "1"
} else if (a.currentStyle) {
j = d.replace(/\-(\w)/g, function (t, y) {
return y.toUpperCase()
});
j = a.currentStyle[d] || a.currentStyle[j];
if (!/^\d+(px)?$/i.test(j) && /^\d/.test(j)) {
d = q.left;
f = a.runtimeStyle.left;
a.runtimeStyle.left = a.currentStyle.left;
q.left = j || 0;
j = q.pixelLeft + "px";
q.left = d;
a.runtimeStyle.left = f
}
}
return j
},
clean: function clean (a, d, f) {
d = d || document;
if (typeof d.createElement === "undefined") d = d.ownerDocument || d[0] && d[0].ownerDocument || document;
if (!f && a.length === 1 && typeof a[0] === "string") {
var j = /^<(\w+)\s*\/?>$/.exec(a[0]);
if (j) return [d.createElement(j[1])]
}
c.each(a, function (y, A) {
if (typeof A === "number") A += "";
if (A) {
if (typeof A === "string") {
A = A.replace(/(<(\w+)[^>]*?)\/>/g, function (M, Q, S) {
return S.match(/^(abbr|br|col|img|input|link|meta|param|hr|area|embed)$/i) ? M : Q + "></" + S + ">"
});
y = A.replace(/^\s+/, "").substring(0, 10).toLowerCase();
var L = !y.indexOf("<opt") && [1, "<select multiple='multiple'>", "</select>"] || !y.indexOf("<leg") && [1, "<fieldset>", "</fieldset>"] || y.match(/^<(thead|tbody|tfoot|colg|cap)/) && [1, "<table>", "</table>"] || !y.indexOf("<tr") && [2, "<table><tbody>", "</tbody></table>"] || (!y.indexOf("<td") || !y.indexOf("<th")) && [3, "<table><tbody><tr>", "</tr></tbody></table>"] || !y.indexOf("<col") && [2, "<table><tbody></tbody><colgroup>", "</colgroup></table>"] || !c.support.htmlSerialize && [1, "div<div>", "</div>"] || [0, "", ""];
for (t.innerHTML = L[1] + A + L[2]; L[0]--;) t = t.lastChild;
if (!c.support.tbody) {
var N = /<tbody/i.test(A);
y = !y.indexOf("<table") && !N ? t.firstChild && t.firstChild.childNodes : L[1] == "<table>" && !N ? t.childNodes : [];
for (L = y.length - 1; L >= 0; --L) c.nodeName(y[L], "tbody") && !y[L].childNodes.length && y[L].parentNode.removeChild(y[L])
}!c.support.leadingWhitespace && /^\s/.test(A) && t.insertBefore(d.createTextNode(A.match(/^\s*/)[0]), t.firstChild);
A = c.makeArray(t.childNodes)
}
if (A.nodeType) q.push(A);
else q = c.merge(q, A)
}
});
if (f) {
for (a = 0; q[a]; a++) if (c.nodeName(q[a], "script") && (!q[a].type || q[a].type.toLowerCase() === "text/javascript")) j.push(q[a].parentNode ? q[a].parentNode.removeChild(q[a]) : q[a]);
else {
q[a].nodeType === 1 && q.splice.apply(q, [a + 1, 0].concat(c.makeArray(q[a].getElementsByTagName("script"))));
f.appendChild(q[a])
}
return j
}
return q
},
attr: function attr (a, d, f) {
if (!(!a || a.nodeType == 3 || a.nodeType == 8)) {
var j = !c.isXMLDoc(a),
q = f !== void 0;
d = j && c.props[d] || d;
if (a.tagName) {
var t = /href|src|style/.test(d);
if (d in a && j && !t) {
if (q) {
if (d == "type" && c.nodeName(a, "input") && a.parentNode) throw "type property can't be changed";
a[d] = f
}
if (c.nodeName(a, "form") && a.getAttributeNode(d)) return a.getAttributeNode(d).nodeValue;
if (d == "tabIndex") return (d = a.getAttributeNode("tabIndex")) && d.specified ? d.value : a.nodeName.match(/(button|input|object|select|textarea)/i) ? 0 : a.nodeName.match(/^(a|area)$/i) && a.href ? 0 : void 0;
return a[d]
}
if (!c.support.style && j && d == "style") return c.attr(a.style, "cssText", f);
q && a.setAttribute(d, "" + f);
a = !c.support.hrefNormalized && j && t ? a.getAttribute(d, 2) : a.getAttribute(d);
return a === null ? void 0 : a
}
if (!c.support.opacity && d == "opacity") {
if (q) {
a.zoom = 1;
a.filter = (a.filter || "").replace(/alpha\([^)]*\)/, "") + (parseInt(f) + "" == "NaN" ? "" : "alpha(opacity=" + f * 100 + ")")
}
return a.filter && a.filter.indexOf("opacity=") >= 0 ? parseFloat(a.filter.match(/opacity=([^)]*)/)[1]) / 100 + "" : ""
}
d = d.replace(/-([a-z])/ig, function (y, A) {
return A.toUpperCase()
});
if (q) a[d] = f;
return a[d]
}
},
makeArray: function makeArray (a) {
var d = [];
if (a != null) {
var f = a.length;
if (f == null || typeof a === "string" || c.isFunction(a) || a.setInterval) d[0] = a;
else for (; f;) d[--f] = a[f]
}
return d
},
inArray: function inArray (a, d) {
for (var f = 0, j = d.length; f < j; f++) if (d[f] === a) return f;
return -1
},
merge: function merge (a, d) {
var f = 0,
j, q = a.length;
if (c.support.getAll) for (;
(j = d[f++]) != null;) a[q++] = j;
else for (;
(j =
d[f++]) != null;) if (j.nodeType != 8) a[q++] = j;
return a
}
});
})();

63
com.ibm.wala.cast.js.test.data/examples-src/pages/2.js
View File

@ -1,63 +0,0 @@
(function _top_level () {
var jQuery = window.jQuery = window.$ = function (selector, context) {
return new jQuery.fn.init(selector, context);
};
var undefined;
jQuery.extend = jQuery.fn.extend = function _extend () {
var target = arguments[0] || {},
i = 1,
length = arguments.length,
deep = false,
options;
if (target.constructor == Boolean) {
deep = target;
target = arguments[1] || {};
i = 2;
}
if (typeof target != "object" && typeof target != "function") target = {};
if (length == i) {
target = this;
--i;
}
for (; i < length; i++) if ((options = arguments[i]) != null)
for (var name in options) {
(function _forin_body (name) {
var src = target[name],
copy = options[name];
if (target === copy) return;
if (deep && copy && typeof copy == "object" && !copy.nodeType) {
target[name] = jQuery.extend(deep, src || (copy.length != null ? [] : {}), copy);
}
else if (copy !== undefined) target[name] = copy;
else target[name] = copy;
})(name);
}
return target;
};
jQuery.extend({
speed: function _speed (speed, easing, fn) {
var opt = speed && speed.constructor == Object ? speed : {
complete: fn || !fn && easing || jQuery.isFunction(speed) && speed,
duration: speed,
easing: fn && easing || easing && easing.constructor != Function && easing
};
opt.duration = (opt.duration && opt.duration.constructor == Number ? opt.duration : jQuery.fx.speeds[opt.duration]) || jQuery.fx.speeds.def;
opt.old = opt.complete;
opt.complete = function _complete () {
if (opt.queue !== false) jQuery(this).dequeue();
if (jQuery.isFunction(opt.old)) opt.old.call(this);
};
return opt;
},
});
})();

27
com.ibm.wala.cast.js.test.data/examples-src/pages/apollo-example.html
View File

@ -1,27 +0,0 @@
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<HTML>
<HEAD><TITLE>Login</TITLE></HEAD>
<SCRIPT>
function signon() {
var form = document.forms[0];
var elts = form.operation;
for (var elt in elts) {
if (elts[elt].checked==true) {
window.open(elts[elt].value + ".php?user=" + form.user.value + "&pw=" + form.pw.value);
}
}
}
</SCRIPT>
<BODY>
<FORM ID="theform" METHOD = "post" NAME = "login"
ACTION="javascript: signon();">
User Name: <INPUT TYPE = "text" NAME = "user"/><BR>
Password: <INPUT TYPE = "password" NAME = "pw"/><BR>
<INPUT TYPE="radio" NAME="operation" VALUE="query"/>Query
<INPUT TYPE="radio" NAME="operation" VALUE="update"/>Update <BR>
<INPUT TYPE="submit" NAME="Submit"/>
</FORM>
</BODY>
</HTML>

14
com.ibm.wala.cast.js.test.data/examples-src/pages/collection.js
View File

@ -1,14 +0,0 @@
function collection() {
// initially empty collection
this.forall = function forall_base (f) { };
// allow adding items
this.add = function collection_add (new_item) {
var oldforall = this.forall;
this.forall = function forall_elt (f) {
oldforall(f);
f(new_item);
};
};
}

196
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl.html
View File

@ -1,196 +0,0 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>Untitled Document</title>
</head>
<script>
var g_image_number = 0;
</script>
<script>
function test_function_base_crawling()
{
var href;
href = "results.html?";
href += "function_base_crawling_";
href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
document.location.href = href;
}
</script>
<script>
function test_event_element()
{
var href;
href = "results.html?";
href += "event_element_";
if (window.event == undefined) {
href += (12*document.location.href.length) ? "unsupported" : "strange_behaviour";
} else if (!isNaN(window.event.srcElement)) {
href += (12*document.location.href.length) ? "srcElement_unsupported" : "strange_behaviour";
} else if (!isNaN(window.event.srcElement)) {
href += (12*document.location.href.length) ? "srcElement_attr_unsupported" : "strange_behaviour";
} else {
href += (12*document.location.href.length) ? "worked" : "strange_behaviour";
}
document.location.href = href;
}
</script>
<script>
function test_isNaN()
{
var href;
href = "results.html?";
href += "isNaN_";
if (!isNaN(window.asghdaa)) {
href += (12*document.location.href.length) ? "unsupported" : "strange_behaviour";
} else {
href += (12*document.location.href.length) ? "worked" : "strange_behaviour";
}
document.location.href = href;
}
</script>
<script>
function test_first_phase()
{
var href;
href = "results.html?";
href += "first_phase_";
href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
document.location.href = href;
}
</script>
<script>
function test_second_phase()
{
var button = document.createElement("button");
button.innerText = "go to second phase html";
document.body.appendChild(button);
button.onclick = function () {
var href;
href = "results.html?";
href += "second_phase_";
href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
document.location.href = href;
};
var thirdButton = document.createElement("button");
thirdButton.innerText = 'Test "Third Phase Competability"';
thirdButton.onclick = test_third_phase;
document.body.appendChild(thirdButton);
}
</script>
<script>
function test_third_phase()
{
var button = document.createElement("button");
button.innerText = "go to third phase html";
document.body.appendChild(button);
button.onclick = function () {
var href;
href = "results.html?";
href += "third_phase_";
href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
document.location.href = href;
}
}
</script>
<script>
function test_n_phase()
{
var button = document.createElement("button");
button.tag = isNaN(event.srcElement.tag) ? 1 : Number(event.srcElement.tag) + 1;
button.innerText = "go to "+button.tag+" phase html";
button.onclick = function () {
var href;
href = "results.html?";
href += "n_phase_"+button.tag+"_";
href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
document.location.href = href;
};
var linkButton = document.createElement("button");
linkButton.tag = button.tag;
linkButton.innerText = "create "+linkButton.tag+" phase button";
linkButton.onclick = test_n_phase;
document.body.appendChild(linkButton);
document.body.appendChild(button);
}
</script>
<script>
var differentOrder = "/differnet_order_";
</script>
<script>
function test_both_order2()
{
differentOrder += "2";
test_both_order_button.innerText = 'Test "Different Order Competability 2"';
}
</script>
<script>
function test_both_order()
{
var href;
href = "results.html?";
href += "both_order_";
href += (test_both_order_button.innerText.substr(test_both_order_button.innerText.length-2,1));
href += ".html";
document.location.href = href;
}
</script>
<script>
function send_unique_dom_request()
{
var href;
href = "results.html?";
href += "dom_unique";
href += ".html";
document.location.href = href;
}
</script>
<script>
function send_same_dom_request()
{
var href;
href = "results.html?";
href += "dom_same";
href += ".html";
document.location.href = href;
}
</script>
<script>
function test_unique_dom_button2()
{
test_unique_dom_button.onclick = send_same_dom_request;
}
</script>
<body>
<BR><BR><BR><HR><BR><BR><BR>
<BR><button onclick = "test_event_element()">Test "Event Element"</button>
<BR><button onclick = "test_isNaN()">Test "isNaN Competability"</button>
<BR><button onclick = "test_first_phase()">Test "First Phase Competability"</button>
<BR><button onclick = "test_second_phase()">Test "Second Phase Competability"</button>
<BR><button onclick = "test_n_phase()">Test "N Phase Competability"</button>
<BR><button id=test_both_order_button onclick = "test_both_order()">Test "Different Order Competability 1"</button>
<button onclick = "test_both_order2()">Change Different Order Location</button>
<BR><button onclick = "test_unique_dom_button2()">Change Next element onclick Method</button>
<button id=test_unique_dom_button onclick = "send_unique_dom_request()">Test "Unique Dom Competability"</button>
<BR>
</body>
</html>

4
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/15.js
View File

@ -1,4 +0,0 @@
function changeUrls()
{
document.links[0].href = "page15.php?a=ok";
}

4
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/16.js
View File

@ -1,4 +0,0 @@
function changeUrls()
{
document.links[0].href = "page16.php?a=ok";
}

4
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/17.js
View File

@ -1,4 +0,0 @@
function changeUrls()
{
document.links[0].href = "page17.php?a=ok";
}

25
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page11.html
View File

@ -1,25 +0,0 @@
<html>
<body>
<script>
var myForm = document.createElement("form");
myForm.setAttribute("action","page11.php");
myForm.setAttribute("method","GET");
var myHiddenA = document.createElement("input");
myHiddenA.setAttribute("type","hidden");
myHiddenA.setAttribute("name","a");
myHiddenA.setAttribute("value","ok");
var myHiddenB = document.createElement("input");
myHiddenB.setAttribute("type","hidden");
myHiddenB.setAttribute("name","b");
myHiddenB.setAttribute("value","ok");
var mySubmit = document.createElement("input");
mySubmit.setAttribute("type","submit");
mySubmit.setAttribute("name","submit");
mySubmit.setAttribute("value","submit");
myForm.appendChild(myHiddenA);
myForm.appendChild(myHiddenB);
myForm.appendChild(mySubmit);
document.body.appendChild(myForm);
</script>
</body>
</html>

25
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page11b.html
View File

@ -1,25 +0,0 @@
<HTML>
<BODY>
<SCRIPT>
var myForm = document.createElement("form");
myForm.setAttribute("action","page11.php");
myForm.setAttribute("method","GET");
var myHiddenA = document.createElement("input");
myHiddenA.setAttribute("type","hidden");
myHiddenA.setAttribute("name","a");
myHiddenA.setAttribute("value","ok");
var myHiddenB = document.createElement("input");
myHiddenB.setAttribute("type","hidden");
myHiddenB.setAttribute("name","b");
myHiddenB.setAttribute("value","ok");
var mySubmit = document.createElement("input");
mySubmit.setAttribute("type","submit");
mySubmit.setAttribute("name","submit");
mySubmit.setAttribute("value","submit");
myForm.appendChild(myHiddenA);
myForm.appendChild(myHiddenB);
myForm.appendChild(mySubmit);
document.body.appendChild(myForm);
</SCRIPT>
</BODY>
</HTML>

31
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page12.html
View File

@ -1,31 +0,0 @@
<html>
<head>
<script>
function handler()
{
if(this.readyState == 4)
{
var contents = this.responseText;
document.getElementById("myDiv").innerHTML = contents;
}
return;
}
function callXHR()
{
var textBoxValue = document.getElementById("freeTextField").value;
var client = new XMLHttpRequest();
client.onreadystatechange = handler;
client.open("GET", "page12.php?freeTextField="+textBoxValue, true);
client.send(null);
return;
}
</script>
</head>
<body>
<div id="myDiv" style="location: absolute; top: 100px; left: 100px; height: 400px; width: 400px; background-color: #ff0000;"></div>
<input type="text" id="freeTextField" name="freeTextField" value="DEFAULT_SHOULD_BE_CHANGED"></input>
<button onclick="return callXHR();">SUBMIT</button>
</body>
</html>

32
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page13.html
View File

@ -1,32 +0,0 @@
<html>
<head>
<script>
function handler()
{
if(this.readyState == 4)
{
var contents = this.responseText;
document.getElementById("myDiv").innerHTML = contents;
}
return;
}
function callXHR()
{
var textBoxValue = document.getElementById("freeTextField").value;
var client = new XMLHttpRequest();
client.onreadystatechange = handler;
client.open("POST", "page13.php", true);
client.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
client.send("freeTextField="+textBoxValue);
return;
}
</script>
</head>
<body>
<div id="myDiv" style="location: absolute; top: 100px; left: 100px; height: 400px; width: 400px; background-color: #ff0000;"></div>
<input type="text" id="freeTextField" name="freeTextField" value="DEFAULT_SHOULD_BE_CHANGED"></input>
<button onclick="return callXHR();">SUBMIT</button>
</body>
</html>

8
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page15.html
View File

@ -1,8 +0,0 @@
<html>
<head>
<script src="15.js"></script>
</head>
<body onload="return changeUrls();">
<a href="#">Link to be changed onload</a>
</body>
</html>

8
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page16.html
View File

@ -1,8 +0,0 @@
<html>
<head>
<script src="16.js"></script>
</head>
<body>
<a href="#" onclick="return changeUrls();">Link to be changed onload</a>
</body>
</html>

37
com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page17.html
View File

@ -1,37 +0,0 @@
<html>
<head>
<script>
function loadScript(url, callback)
{
var head = document.getElementsByTagName("head")[0];
var script = document.createElement("script");
script.src = url;
var done = false;
script.onload = script.onreadystatechange = function _page17_handler()
{
if( !done && ( !this.readyState || this.readyState == "loaded" || this.readyState == "complete"))
{
done = true;
callback();
script.onload = script.onreadystatechange = null;
head.removeChild( script );
}
};
head.appendChild(script);
}
function callFunction()
{
changeUrls();
}
</script>
</head>
<body>
<a href="#">Test Link</a>
<script>
loadScript("17.js", callFunction);
</script>
</body>
</html>

23
com.ibm.wala.cast.js.test.data/examples-src/pages/iframeTest2.html
View File

@ -1,23 +0,0 @@
<html><head>
<META http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>iframe</title></head>
<body>
<script>
function f() {}
</script>
<iframe src="frameBody.html" onload="f()"></iframe>
<script>
function h(x) { function f(x) { return x; }; return f(x); }; h(3);
</script>
</body></html>

8
com.ibm.wala.cast.js.test.data/examples-src/pages/jquery.html
View File

@ -1,8 +0,0 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>Untitled Document</title>
</head>
<script src="jquery.js">
</script>

16
com.ibm.wala.cast.js.test.data/examples-src/pages/jquery/ex1.html
View File

@ -1,16 +0,0 @@
<html>
<head>
<script type="text/javascript" src="http://code.jquery.com/jquery-1.7.1.js"></script>
<script type="text/javascript">
$(document).ready(function(){
$("button").click(function(){
$(this).hide();
});
});
</script>
</head>
<body>
<button>Click me</button>
</body>
</html>

288
com.ibm.wala.cast.js.test.data/examples-src/pages/jquery_hacked.html
View File

@ -1,288 +0,0 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>Untitled Document</title>
</head>
<script>
(function top () {
var c = n.jQuery = n.$ = function dollar (a, d) {
return new c.fn.init(a, d)
}
c.fn = c.prototype = {
init: function init (a, d) {
a = a || document;
if (a.nodeType) {
this[0] = a;
this.length = 1;
this.context = a;
return this
}
if (typeof a === "string") {
var f = r.exec(a);
if (f && (f[1] || !d)) if (f[1]) a = c.clean([f[1]], d);
else {
if ((d = document.getElementById(f[3])) && d.id != f[3]) return c().find(a);
f = c(d || []);
f.context = document;
f.selector = a;
return f
} else return c(d).find(a)
} else if (c.isFunction(a)) return c(document).ready(a);
if (a.selector && a.context) {
this.selector =
a.selector;
this.context = a.context
}
return this.setArray(c.isArray(a) ? a : c.makeArray(a))
}
};
c.extend = c.fn.extend = function extend () {
var a =
arguments[0] || {},
d = 1,
f = arguments.length,
j = false,
q;
if (typeof a === "boolean") {
j = a;
a = arguments[1] || {};
d = 2
}
if (typeof a !== "object" && !c.isFunction(a)) a = {};
if (f == d) {
a = this;
--d
}
for (; d < f; d++)
if ((q = arguments[d]) != null) {
for (var t in q) {
(function _forin_body_1(t) {
var y = a[t],
A = q[t];
if (a !== A)
if (j && A && typeof A === "object" && !A.nodeType) a[t] = c.extend(j, y || (A.length != null ? [] : {}), A);
else if (A !== void 0) a[t] = A
})(t);
}
}
return a
};
c.extend({
noConflict: function noConflict (a) {
n.$ =
B;
if (a) n.jQuery = w;
return c
},
isFunction: 2,
each: function each (a, d, f) {
var j, q = 0,
t = a.length;
if (f) if (t === void 0) { for (j in a) {
if ((function _forin_body_2(j) {
if (d.apply(a[j], f) === false) return true;
else return false;
})(j)) {
break;
}
} } else for (; q < t;) {
if (d.apply(a[q++], f) === false) break
} else if (t === void 0) { for (j in a) {
if ((function _forin_body_3(j) {
if (d.call(a[j], j, a[j]) === false)
return true;
else
return false;
})(j)) {
break
}
}
} else for (f = a[0]; q < t && d.call(f, q, f) !== false; f = a[++q]);
return a
},
className: {
add: function add (a, d) {
c.each((d || "").split(/\s+/), function (f, j) {
if (a.nodeType == 1 && !c.className.has(a.className, j)) a.className += (a.className ? " " : "") + j
})
},
remove: function remove (a, d) {
if (a.nodeType == 1) a.className = d !== void 0 ? c.grep(a.className.split(/\s+/), function (f) {
return !c.className.has(d, f)
}).join(" ") : ""
},
has: function has (a, d) {
return a && c.inArray(d, (a.className || a).toString().split(/\s+/)) > -1
}
},
swap: function swap (a, d, f) {
var j = {};
for (var q in d) {
(function _forin_body_4(q) {
j[q] = a.style[q];
a.style[q] = d[q]
})(q);
}
f.call(a);
for (q in d) {
(function _forin_body_5(q) {
a.style[q] = j[q]
})(q);
}
},
css: function css (a, d, f, j) {
if (d == "width" || d == "height") {
var q;
f = {
position: "absolute",
visibility: "hidden",
display: "block"
};
var t = d == "width" ? ["Left", "Right"] : ["Top", "Bottom"],
y = function () {
q = d == "width" ? a.offsetWidth : a.offsetHeight;
j !== "border" && c.each(t, function () {
j || (q -= parseFloat(c.curCSS(a, "padding" + this, true)) || 0);
if (j === "margin") q += parseFloat(c.curCSS(a, "margin" + this, true)) || 0;
else q -= parseFloat(c.curCSS(a, "border" + this + "Width", true)) || 0
})
};
a.offsetWidth !== 0 ? y() : c.swap(a, f, y);
return Math.max(0, Math.round(q))
}
return c.curCSS(a, d, f)
},
curCSS: function curCSS (a, d, f) {
var j, q = a.style;
if (d == "opacity" && !c.support.opacity) {
j = c.attr(q, "opacity");
return j == "" ? "1" : j
}
if (d.match(/float/i)) d = W;
if (!f && q && q[d]) j = q[d];
else if (F.getComputedStyle) {
if (d.match(/float/i)) d = "float";
d = d.replace(/([A-Z])/g, "-$1").toLowerCase();
if (a = F.getComputedStyle(a, null)) j = a.getPropertyValue(d);
if (d == "opacity" && j == "") j = "1"
} else if (a.currentStyle) {
j = d.replace(/\-(\w)/g, function (t, y) {
return y.toUpperCase()
});
j = a.currentStyle[d] || a.currentStyle[j];
if (!/^\d+(px)?$/i.test(j) && /^\d/.test(j)) {
d = q.left;
f = a.runtimeStyle.left;
a.runtimeStyle.left = a.currentStyle.left;
q.left = j || 0;
j = q.pixelLeft + "px";
q.left = d;
a.runtimeStyle.left = f
}
}
return j
},
clean: function clean (a, d, f) {
d = d || document;
if (typeof d.createElement === "undefined") d = d.ownerDocument || d[0] && d[0].ownerDocument || document;
if (!f && a.length === 1 && typeof a[0] === "string") {
var j = /^<(\w+)\s*\/?>$/.exec(a[0]);
if (j) return [d.createElement(j[1])]
}
c.each(a, function (y, A) {
if (typeof A === "number") A += "";
if (A) {
if (typeof A === "string") {
A = A.replace(/(<(\w+)[^>]*?)\/>/g, function (M, Q, S) {
return S.match(/^(abbr|br|col|img|input|link|meta|param|hr|area|embed)$/i) ? M : Q + "></" + S + ">"
});
y = A.replace(/^\s+/, "").substring(0, 10).toLowerCase();
var L = !y.indexOf("<opt") && [1, "<select multiple='multiple'>", "</select>"] || !y.indexOf("<leg") && [1, "<fieldset>", "</fieldset>"] || y.match(/^<(thead|tbody|tfoot|colg|cap)/) && [1, "<table>", "</table>"] || !y.indexOf("<tr") && [2, "<table><tbody>", "</tbody></table>"] || (!y.indexOf("<td") || !y.indexOf("<th")) && [3, "<table><tbody><tr>", "</tr></tbody></table>"] || !y.indexOf("<col") && [2, "<table><tbody></tbody><colgroup>", "</colgroup></table>"] || !c.support.htmlSerialize && [1, "div<div>", "</div>"] || [0, "", ""];
for (t.innerHTML = L[1] + A + L[2]; L[0]--;) t = t.lastChild;
if (!c.support.tbody) {
var N = /<tbody/i.test(A);
y = !y.indexOf("<table") && !N ? t.firstChild && t.firstChild.childNodes : L[1] == "<table>" && !N ? t.childNodes : [];
for (L = y.length - 1; L >= 0; --L) c.nodeName(y[L], "tbody") && !y[L].childNodes.length && y[L].parentNode.removeChild(y[L])
}!c.support.leadingWhitespace && /^\s/.test(A) && t.insertBefore(d.createTextNode(A.match(/^\s*/)[0]), t.firstChild);
A = c.makeArray(t.childNodes)
}
if (A.nodeType) q.push(A);
else q = c.merge(q, A)
}
});
if (f) {
for (a = 0; q[a]; a++) if (c.nodeName(q[a], "script") && (!q[a].type || q[a].type.toLowerCase() === "text/javascript")) j.push(q[a].parentNode ? q[a].parentNode.removeChild(q[a]) : q[a]);
else {
q[a].nodeType === 1 && q.splice.apply(q, [a + 1, 0].concat(c.makeArray(q[a].getElementsByTagName("script"))));
f.appendChild(q[a])
}
return j
}
return q
},
attr: function attr (a, d, f) {
if (!(!a || a.nodeType == 3 || a.nodeType == 8)) {
var j = !c.isXMLDoc(a),
q = f !== void 0;
d = j && c.props[d] || d;
if (a.tagName) {
var t = /href|src|style/.test(d);
if (d in a && j && !t) {
if (q) {
if (d == "type" && c.nodeName(a, "input") && a.parentNode) throw "type property can't be changed";
a[d] = f
}
if (c.nodeName(a, "form") && a.getAttributeNode(d)) return a.getAttributeNode(d).nodeValue;
if (d == "tabIndex") return (d = a.getAttributeNode("tabIndex")) && d.specified ? d.value : a.nodeName.match(/(button|input|object|select|textarea)/i) ? 0 : a.nodeName.match(/^(a|area)$/i) && a.href ? 0 : void 0;
return a[d]
}
if (!c.support.style && j && d == "style") return c.attr(a.style, "cssText", f);
q && a.setAttribute(d, "" + f);
a = !c.support.hrefNormalized && j && t ? a.getAttribute(d, 2) : a.getAttribute(d);
return a === null ? void 0 : a
}
if (!c.support.opacity && d == "opacity") {
if (q) {
a.zoom = 1;
a.filter = (a.filter || "").replace(/alpha\([^)]*\)/, "") + (parseInt(f) + "" == "NaN" ? "" : "alpha(opacity=" + f * 100 + ")")
}
return a.filter && a.filter.indexOf("opacity=") >= 0 ? parseFloat(a.filter.match(/opacity=([^)]*)/)[1]) / 100 + "" : ""
}
d = d.replace(/-([a-z])/ig, function (y, A) {
return A.toUpperCase()
});
if (q) a[d] = f;
return a[d]
}
},
makeArray: function makeArray (a) {
var d = [];
if (a != null) {
var f = a.length;
if (f == null || typeof a === "string" || c.isFunction(a) || a.setInterval) d[0] = a;
else for (; f;) d[--f] = a[f]
}
return d
},
inArray: function inArray (a, d) {
for (var f = 0, j = d.length; f < j; f++) if (d[f] === a) return f;
return -1
},
merge: function merge (a, d) {
var f = 0,
j, q = a.length;
if (c.support.getAll) for (;
(j = d[f++]) != null;) a[q++] = j;
else for (;
(j =
d[f++]) != null;) if (j.nodeType != 8) a[q++] = j;
return a
},
});
})();
</script>

37
com.ibm.wala.cast.js.test.data/examples-src/pages/list.html
View File

@ -1,37 +0,0 @@
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<HTML>
<HEAD><TITLE>Items</TITLE></HEAD>
<SCRIPT SRC="collection.js">
</SCRIPT>
<SCRIPT>
var items = new collection();
function update_display() {
var form = document.forms[0];
var items_pane = form.items;
items_pane.value = "";
items.forall(
function update_with_item(x) {
items_pane.value = items_pane.value + " " + x;
}
);
}
function add_item() {
var form = document.forms[0];
var item = form.new_item.value;
items.add(item);
update_display();
}
</SCRIPT>
<BODY>
<FORM ID="theform" METHOD = "post" NAME = "login" ACTION="javascript: add_item();">
New Item: <INPUT TYPE = "text" NAME = "new_item"/><BR>
<INPUT TYPE="submit" NAME="add_item" VALUE = "Add Item"/><BR>
<HR/>
Items: <INPUT TYPE = "textarea" NAME = "items" COLS = 40 ROWS = 10/>
</FORM>
</BODY>
</HTML>

17
com.ibm.wala.cast.js.test.data/examples-src/pages/nojs.html
View File

@ -1,17 +0,0 @@
<title>My Page</title>
<form name="myform" action="simple.php" method="POST">
<input type="checkbox" name="option1" value="o1"> Milk
<input type="checkbox" name="option2" value="o2" checked> Butter
<input type="checkbox" name="option3" value="o3"> Cheese
<input type="text" name="name" value="Mickey" size="20">
</form>

19
com.ibm.wala.cast.js.test.data/examples-src/pages/page1.html
View File

@ -1,19 +0,0 @@
<HTML>
<TITLE>encodeURI Sanitation</TITLE>
Hi
<SCRIPT>
var pos=document.URL.indexOf("name=")+5;
var txt = document.URL.substring(pos,document.URL.length); // bad thing
encodedTxt = encodeURI(txt); // sanitizer
document.write(encodedTxt); // safe use
</SCRIPT>
<BR>
Welcome to our system
</HTML>

29
com.ibm.wala.cast.js.test.data/examples-src/pages/page2.html
View File

@ -1,29 +0,0 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>SBMjs Basic24</title>
</head>
<body>
<a id ="x" href ="javascript:alert(1)"/>
<script>
var Enumerable = {
each: function(iterator, context) {
var index = 0;
iterator = iterator.bind(context);
try {
this._each(function(value) {
iterator(value, index++);
});
} catch (e) {
if (e != $break) throw e;
}
return this;
}
}
</script>
</body>
</html>

8
com.ibm.wala.cast.js.test.data/examples-src/pages/page3.html
View File

@ -1,8 +0,0 @@
<HTML>
<HEAD>
<script src="2.js"> </script>
</HEAD>
<BODY>
asdasd
</BODY>
</HTML>

32
com.ibm.wala.cast.js.test.data/examples-src/pages/page4.html
View File

@ -1,32 +0,0 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>WebChess Login</title>
</head>
<body>
<h2>WebChess Login</h2>
<form method="post" action="simple.php">
<p>
Nick: <input name="txtNick" type="text" size="15" />
<br />
Password: <input name="pwdPassword" type="password" size="15" />
</p>
<p>
<input name="ToDo" value="Login" type="hidden" />
<input name="login" value="login" type="submit" />
<input name="newAccount" value="New Account" type="button" onClick="window.open('my.php', '_self')"/>
</p>
</form>
<p>Version 0.9.0, last updated September 2nd, 2004</p>
</body>
</html>

33
com.ibm.wala.cast.js.test.data/examples-src/pages/windowx.html
View File

@ -1,33 +0,0 @@
<HTML>
<TITLE>Welcome!</TITLE>
Hi
<SCRIPT>
var x = function _f1() {
};
function _f2(x) {
x();
}
_f2(window.x);
window.z = function _f3() {
};
function _f4(x) {
x();
}
_f4(z);
</SCRIPT>
<BR>
Welcome to our system
</HTML>

17
com.ibm.wala.cast.js.test.data/examples-src/tests/214631.js
View File

@ -1,17 +0,0 @@
// $Id: drupal.js,v 1.41.2.4 2009/07/21 08:59:10 goba Exp $
var Drupal = Drupal || { 'settings': {}, 'behaviors': {}, 'themes': {}, 'locale': {} };
/**
* Set the variable that indicates if JavaScript behaviors should be applied
*/
Drupal.jsEnabled = document.getElementsByTagName && document.createElement && document.createTextNode && document.documentElement && document.getElementById;
// Global Killswitch on the <html> element
if (Drupal.jsEnabled) {
//Do some code
}

1
com.ibm.wala.cast.js.test.data/examples-src/tests/Function_is_a_function.js
View File

@ -1 +0,0 @@
Function.call();

28
com.ibm.wala.cast.js.test.data/examples-src/tests/args.js
View File

@ -1,28 +0,0 @@
function a() {
if (arguments.length >= 1) {
arguments[0]();
if (arguments.length >= 2) {
arguments[1]();
}
}
}
function x() {
print("x");
}
function y() {
print("y");
}
function z() {
print("z");
}
function wrong() {
print("wrong");
}
a(x);
a(y, z, wrong);

22
com.ibm.wala.cast.js.test.data/examples-src/tests/arguments.js
View File

@ -1,22 +0,0 @@
function f() {
for(var p in arguments)
arguments[p].g();
}
f.g = function g1() {};
var o = {
f: f,
g: function g2() { }
}
var oo = {
g: function g3() { }
}
// at the IR level, this call has three arguments: (1) the function object for f, (2) o, (3), oo
// however, only the last one ends up in the arguments array
o.f(oo);
// make g1 and g2 reachable so we can check assertions
f.g();
o.g();

33
com.ibm.wala.cast.js.test.data/examples-src/tests/badforin.js
View File

@ -1,33 +0,0 @@
function copyObj(to, from) {
for(var p in from) {
(function _forin_body (name) {
to[name] = from[name];
})(p);
}
}
function testForIn( x ) {
var z;
for(var y in x) {
if (y in x) {
z = (x[y])();
}
}
}
var obj = {
foo: function testForIn1() { return 7; },
bar: function testForIn2() { return "whatever"; }
}
testForIn(obj);
(function _check_obj_foo () { obj.foo(); })();
(function _check_obj_bar () { obj.bar(); })();
var copy = new Object();
copyObj(copy, obj);
(function _check_copy_foo () { copy.foo(); })();
(function _check_copy_bar () { copy.bar(); })();

37
com.ibm.wala.cast.js.test.data/examples-src/tests/badforin2.js
View File

@ -1,37 +0,0 @@
function identity(x) {
return x;
}
function copyObj(to, from) {
for(var p in from) {
(function _forin_body (name) {
to[name] = identity(from[name]);
})(p);
}
}
function testForIn( x ) {
var z;
for(var y in x) {
if (y in x) {
z = (x[y])();
}
}
}
var obj = {
foo: function testForIn1() { return 7; },
bar: function testForIn2() { return "whatever"; }
}
testForIn(obj);
(function _check_obj_foo () { obj.foo(); })();
(function _check_obj_bar () { obj.bar(); })();
var copy = new Object();
copyObj(copy, obj);
(function _check_copy_foo () { copy.foo(); })();
(function _check_copy_bar () { copy.bar(); })();

21
com.ibm.wala.cast.js.test.data/examples-src/tests/badforin3.js
View File

@ -1,21 +0,0 @@
function copyObjRec(to, from) {
for (var p in from) {
(function _forin_body(name) {
to[name] = from[name];
copyObjRec(to,from[name]);
})(p);
}
}
var obj = {
foo: function testForIn1() { return 7; },
bar: function testForIn2() { return "whatever"; }
}
obj.baz = obj;
var copy = new Object();
copyObjRec(copy, obj);

1
com.ibm.wala.cast.js.test.data/examples-src/tests/calls.js
View File

@ -1 +0,0 @@
(p,x.f)(0);

18
com.ibm.wala.cast.js.test.data/examples-src/tests/complex_call.js
View File

@ -1,18 +0,0 @@
Function.prototype.useCall = function f1(){
var self = this;
return function f1_inner(a, b){
self.call(this, a, b);
return this;
};
};
Function.prototype.extend = function f2(key, value){
this[key] = value;
}.useCall();
Number.extend('foobaz', function f3(min, max){
return min;
});
var r = Number.foobaz(3, 4);

91
com.ibm.wala.cast.js.test.data/examples-src/tests/control-flow.js
View File

@ -1,91 +0,0 @@
function testSwitch( x ) {
var result = -1;
switch ( x ) {
case 3:
result = 7;
case 4:
case 5: {
result = result+3;
break;
}
case 6:
result = 2;
default:
result += 4;
}
return result;
}
function testDoWhile( x ) {
var result = 6;
do {
if (x > 100)
continue;
else if (x < 0)
break;
else
result += 1;
} while (--x > 4);
return result;
}
function testWhile( x ) {
var result = 6;
while (--x > 4) {
if (x > 100)
continue;
else if (x < 0)
break;
else
result += 1;
}
return result;
}
function testFor( x ) {
for(var result = 6; x > 4; x--) {
if (x > 100)
continue;
else if (x < 0)
break;
else
result += 1;
}
return result;
}
function testReturn( x ) {
if (x < 17)
return 8;
x++;
return x;
}
function testDeadLoop( x ) {
while (x < 17) {
return x++;
}
while (x < 17) {
if (x != 5) continue;
return x++;
}
return 0;
}
testSwitch( 7 );
testDoWhile( 5 );
testWhile( 11 );
testFor( 16 );
testReturn( 2 );
testDeadLoop( 12 );

1
com.ibm.wala.cast.js.test.data/examples-src/tests/crash1.js
View File

@ -1 +0,0 @@
if (1 < 2) q = 42;

7
com.ibm.wala.cast.js.test.data/examples-src/tests/crash2.js
View File

@ -1,7 +0,0 @@
var standalone = false;
try {
document; // ReferenceError
} catch(error) {
standalone = true;
}
assert(standalone);

12
com.ibm.wala.cast.js.test.data/examples-src/tests/dead_phi.js
View File

@ -1,12 +0,0 @@
var x;
function f() {
do {
if (f()) {
x++;
break;
}
} while (false);
}
f();

33
com.ibm.wala.cast.js.test.data/examples-src/tests/dispatch.js
View File

@ -1,33 +0,0 @@
var left = {
inner: function left_inner(x) {
return x+1;
},
outer: function left_outer(x) {
return this.inner(x+1);
}
};
var right = {
inner: function right_inner(x) {
return Math.abs(x);
},
outer: function right_outer(x) {
return this.inner(-x);
}
};
var x = 3;
if (x > Math.random()) {
x = left;
} else {
x = right;
}
x.outer(7);

11
com.ibm.wala.cast.js.test.data/examples-src/tests/extjs_switch.js
View File

@ -1,11 +0,0 @@
(function(x) {
switch(x) {
case Ext.Date:
return 1;
break;
}
return -1;
})(0);

14
com.ibm.wala.cast.js.test.data/examples-src/tests/forin.js
View File

@ -1,14 +0,0 @@
function testForIn( x ) {
var z;
for(var y in x) {
if (y in x) {
z = (x[y])();
}
}
}
testForIn({
foo: function testForIn1() { return 7; },
bar: function testForIn2() { return "whatever"; }
});

18
com.ibm.wala.cast.js.test.data/examples-src/tests/function_apply.js
View File

@ -1,18 +0,0 @@
function biz() { return this; }
var q = biz;
var o = { m: function theOne() {} }
var r = q.apply(o);
r.m()
function id(y) { return y; }
function theTwo() {}
var p = id;
var s = p.apply(null, [theTwo]);
s();
// test invoking with non-array argsList
p.apply(null, o);

9
com.ibm.wala.cast.js.test.data/examples-src/tests/function_apply2.js
View File

@ -1,9 +0,0 @@
// test use of arguments array
function useArgs() {
return arguments[2];
}
var o = {}
function theThree() {}
var a = useArgs;
var b = a.apply(o, [o,o,theThree]);
b();

12
com.ibm.wala.cast.js.test.data/examples-src/tests/function_call.js
View File

@ -1,12 +0,0 @@
function foo(x) { return x; }
function bar(x) { return x + 1; }
if (p > 3) {
z = foo;
} else {
z = bar;
}
z.call(null, 3);

16
com.ibm.wala.cast.js.test.data/examples-src/tests/functions.js
View File

@ -1,16 +0,0 @@
function outer(outerArg) {
var local = 3;
function inner1(inner1Arg) {
outerArg = inner1Arg + 1;
};
var fun = function(inner2Arg) { return inner2Arg + outerArg; };
inner1( fun(6) );
}

5
com.ibm.wala.cast.js.test.data/examples-src/tests/global_object.js
View File

@ -1,5 +0,0 @@
function biz(p) { return p; }
var z = (function foo() { return this; })();
var x = z.biz(3);

3
com.ibm.wala.cast.js.test.data/examples-src/tests/global_object2.js
View File

@ -1,3 +0,0 @@
this.f = function foo() {};
f();

45
com.ibm.wala.cast.js.test.data/examples-src/tests/inherit.js
View File

@ -1,45 +0,0 @@
function Polygon() {
this.edges = 8;
this.regular = false;
this.shape = function shape() { return "rectangle"; };
this.area = function area() { return -1; };
}
function objectMasquerading () {
function Rectangle(top_len,side_len) {
this.temp = Polygon;
this.temp();
this.temp = null;
this.edges = 4;
this.top = top_len;
this.side = side_len;
this.area = function area() { return this.top*this.sides; };
}
return new Rectangle(3, 5);
}
function sharedClassObject() {
function Rectangle(top_len, side_len) {
this.edges = 4;
this.top = top_len;
this.side = side_len;
this.area = function area() { return this.top*this.sides; };
}
Rectangle.prototype = new Polygon();
return new Rectangle(3, 7);
}
var rec1 = objectMasquerading();
rec1.area();
rec1.shape();
var rec2 = sharedClassObject();
rec2.area();
rec2.shape();

5
com.ibm.wala.cast.js.test.data/examples-src/tests/instanceof.js
View File

@ -1,5 +0,0 @@
var x = {};
var y = x instanceof Object;
var z = x instanceof Function;

5588
com.ibm.wala.cast.js.test.data/examples-src/tests/jquery_spec_test.js vendored
View File

File diff suppressed because it is too large Load Diff

58
com.ibm.wala.cast.js.test.data/examples-src/tests/lexical-ctor.js
View File

@ -1,58 +0,0 @@
x1 = "a";
x2 = "a";
x3 = "a";
x4 = "a";
x5 = "a";
x6 = "a";
x7 = "a";
x8 = "a";
x9 = "a";
x10 = "a";
x11 = "a";
x12 = "a";
x13 = "a";
x14 = "a";
x15 = "a";
x16 = "a";
x17 = "a";
x18 = "a";
x19 = "a";
x20 = "a";
x21 = "a";
x22 = "a";
x23 = "a";
x24 = "a";
x25 = "a";
x26 = "a";
function foo() {
var y = x1 +
x2 +
x3 +
x4 +
x5 +
x6 +
x7 +
x8 +
x9 +
x10 +
x11 +
x12 +
x13 +
x14 +
x15 +
x16 +
x17 +
x18 +
x19 +
x20 +
x21 +
x22 +
x23 +
x24 +
x25;
alert(y);
x26 = y;
}
new foo();

12
com.ibm.wala.cast.js.test.data/examples-src/tests/lexical_broken.js
View File

@ -1,12 +0,0 @@
var o = { h: function() {} };
function f(g) {
g();
o.h(function() {
g;
});
}
function g() {}
f(g);

23
com.ibm.wala.cast.js.test.data/examples-src/tests/lexical_multiple_calls.js
View File

@ -1,23 +0,0 @@
var propName = "f";
var reachable1 = function reachable1() { return 3; };
var reachable2 = function reachable2() { return 4; };
var m = function m(x,y) {
function n(a,b,p,r1,r2) {
var n_inner = function n_inner(p_inner) {
this[p_inner] = this.f1;
return this;
}
a.f1 = r1;
n_inner.call(a,p);
b.f1 = r2;
n_inner.call(b,p)
}
n(x,y,propName,reachable1,reachable2);
}
var a = {};
var b = {};
m(a,b);
var p = a[propName]();
var q = b[propName]();

115
com.ibm.wala.cast.js.test.data/examples-src/tests/more-control-flow.js
View File

@ -1,115 +0,0 @@
function testSwitch( x ) {
var result = -1;
switch ( x ) {
case 3:
result = 7;
case 4:
case 5: {
result = result+3;
break;
}
case 6:
result = 2;
default:
result += 4;
}
return result;
}
function testIfConvertedSwitch( x, y ) {
var result = -1;
switch ( x ) {
case y:
result = 7;
case y+1:
case y+2: {
result = result+3;
break;
}
case y-1:
result = 2;
default:
result += 4;
}
return result;
}
function testDoWhile( x ) {
var result = 6;
do {
if (x > 100)
continue;
else if (x < 0)
break;
else
result += 1;
} while (--x > 4);
return result;
}
function testWhile( x ) {
var result = 6;
while (--x > 4) {
if (x > 100)
continue;
else if (x < 0)
break;
else
result += 1;
}
return result;
}
function testFor( x ) {
for(var result = 6; x > 4; x--) {
if (x > 100)
continue;
else if (x < 0)
break;
else
result += 1;
}
return result;
}
function testReturn( x ) {
if (x < 17)
return 8;
x++;
return x;
}
function testDeadLoop( x ) {
while (x < 17) {
return x++;
}
while (x < 17) {
if (x != 5) continue;
return x++;
}
return 0;
}
testSwitch( 7 );
testIfConvertedSwitch( 7, 3 );
testDoWhile( 5 );
testWhile( 11 );
testFor( 16 );
testReturn( 2 );
testDeadLoop( 12 );

20
com.ibm.wala.cast.js.test.data/examples-src/tests/multivar.js
View File

@ -1,20 +0,0 @@
function a() {
return 0;
}
var b = function bf(x) {
return x + 1;
}
function c(x) {
return x - 1;
}
var ma = a, mb = b, mc = c;
ma();
mb(7);
mc(8);

11
com.ibm.wala.cast.js.test.data/examples-src/tests/nested.js
View File

@ -1,11 +0,0 @@
function f(x) {
return function ff(y) {
return function fff(z) {
return x+y+z;
}
}
}
var g1 = f(1);
var g2 = g1(2);
var g3 = g2(3);

10
com.ibm.wala.cast.js.test.data/examples-src/tests/nested_assign_to_param.js
View File

@ -1,10 +0,0 @@
function foo(x) {
function bar() {
x = function i_am_reachable() {}
}
bar();
return x;
}
var y = foo(null);
y();

12
com.ibm.wala.cast.js.test.data/examples-src/tests/newfn.js
View File

@ -1,12 +0,0 @@
var fun1 = new Function("a", "b", "c", "return a+b+c");
var fun2 = new Function("a, b, c", "return a+b+c");
var fun3 = new Function("a, b", "c", "return a+b+c");
var x = fun1(5, 5, 6);
var y = fun2(5, 7, 1);
var z = fun3(3, 5, 2);

50
com.ibm.wala.cast.js.test.data/examples-src/tests/objects.js
View File

@ -1,50 +0,0 @@
function objects_are_fun(arg1, arg2) {
var local = new Object();
var g = 7;
local.f = arg1.foo;
local.f();
local.otherMethod = function nothing(arg1) {
return arg1 - 7;
};
local[g] = arg2[ "bar" ];
local[g]();
}
var arg1;
var arg2 = new Object();
arg1 = {
foo: function whatever() {
return 3 + 7;
}
}
arg2.bar = function other() {
return this.otherMethod( 3 );
}
arg2.otherMethod = function something(arg1) {
return arg1 + 5;
}
arg2.bar( );
objects_are_fun( arg1, arg2 );
var numObj = new Number(4);
var strObj = new String("whatever");
var foo = strObj.toLowerCase();
var whatnot = [ , , , 7, numObj, arg2, strObj ];
whatnot[ 5 ].otherMethod( 7 );
delete arg2.bar();
delete whatnot[ 5 ];
delete arg2;

9
com.ibm.wala.cast.js.test.data/examples-src/tests/place_phi_npe.js
View File

@ -1,9 +0,0 @@
function f() {
switch (0) {
default:
break;
}
oParsedResponse || 0;
}
f();

389
com.ibm.wala.cast.js.test.data/examples-src/tests/portal-example-simple.html
View File

@ -1,389 +0,0 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head>
<!--
Possible channels of interference, explored in this document or general properties we would like the portlet markup fragment to have
1. A global variable created in HEAD
2. A global built in object (e.g. navigator)
3. (Later)Access Keys, Tab Index (who wins if there is a conflict, eg. override Alt+F)
4. Dynamically modifying the DOM, Disallowed HTML Tags
5. Direct access by traversing the DOM Tree
6. (Later)Shared prototype objects
7. (Later)Cookies (essentially a global built in object which is writeable)
8. Reference to 'this'
9. The shared namespace, shared scope (understand how the scope works)
10. Dynamically add javascript event handlers.
11. Use of 'eval', self-modifying code
12. Shared style sheets
13. Access to shared library functions, eg. parseInt()
14. Maintain general structural integrity of the document - e.g. tags should appear where they should according to the DTD
TODO:
// creating a new function using a prototype, can the new function access the local variable of the event handler which creates the new function?
// when you create a new function in different html contexts, what is the value of this?
// The parser automatically inserts HTML Elements, e.g. TBODY in the table. We have to handle that. The swing html parser doesn't recognize TBODY, though.
-->
<style>
.test{color: red;}
.odd{background-color: white;}
.even{background-color: gray;}
</style>
<script language=javascript>
<!--
//
// 1. A global value that all portlets might need to access (read/write?)
// Global variable that the portal would like the portlets to make use of
// However, this like all other system objects should be made readonly by analysis
var now=new Date,t1=0;
t1=now.getTime();
-->
</script>
<title>Example Portal Page with two Portlets</title>
</head>
<body>
<table>
<tbody>
<tr>
<td>This will maliciously be removed by a portlet if you click on the text in the gray box</td><td>That should be avoided</td>
</tr>
<tr>
<td width="40%" class=odd>
<div>
<!-- Start: Portlet 1 Markup Fragment -->
<script type="text/javascript">
<!--
// 2. Use of a system global object might be required. Such accesses should be made readonly
this.agt = navigator.userAgent.toLowerCase();
this.ie = (this.agt.indexOf("msie") != -1);
if(this.ie) {
document.write("<p>Sorry, we do not support Internet Explorer");
document.close();
} else {
document.write("<p>We applaud your taste in browsers!");
}
// The following line is erased using a style element in the malicious portlet
document.write("<p class=test>The time you started visiting this page is : " + t1 + "</p>");
-->
</script>
<h1>Plan a dinner with friends</h1><br>
<h2>Enter the names of Restaurants in order of descending preference</h2>
<form action="http://www.google.com/search" name=f onsubmit="sub(this);">
<input type=hidden name=hl value=en>
<input type=hidden name=q value="">
<script type="text/javascript">
<!--
var counter=2;
function sub(fm) {
var qstring = document.f.name1.value + " " + document.f.conf1.value + " restaurant ";
document.f.q.value = qstring;
var then = new Date;
alert("You took " + ((then.getTime()-t1)/1000) + " seconds to submit your preferences.");
return 1;
}
function createLinkElem(target, str) {
var moveElem = document.createElement("TD");
moveElem.appendChild(createLink(target, str));
return moveElem;
}
function createLink(target,str) {
var fnt = document.createElement("FONT");
fnt.setAttribute("size","-1");
fnt.appendChild(document.createTextNode(str));
var lnk = document.createElement("A");
lnk.setAttribute("href","#");
lnk.setAttribute("onclick",target);
lnk.appendChild(fnt);
return lnk;
}
function createInsertNode() {
var inElem = document.createElement("TR");
var elem = document.createElement("TD");
elem.setAttribute("colspan","6");
elem.setAttribute("align","center");
var lnk = createLink("insertRow(this);","Insert Row");
// creating an event handler by directly assigning the value of the onclick property
lnk.onclick = iRow;
elem.appendChild(lnk);
inElem.appendChild(elem);
return inElem;
}
function iRow() {
insertRow(this);
}
function mUp() {
moveUp(this);
}
function boxNode(nm, str) {
var elem = document.createElement("TD");
var inp = document.createElement("INPUT");
inp.setAttribute("maxlength","2048");
inp.setAttribute("size","55");
inp.setAttribute("name",nm);
inp.setAttribute("value","");
inp.setAttribute("title",str);
elem.appendChild(inp);
return elem;
}
function createRow(num) {
var newElem = document.createElement("TR");
var lnk = createLinkElem("moveUp(this);", "Move Up");
// creating an event handler using the addEventListener method
lnk.addEventListener('click', mUp, false);
newElem.appendChild(lnk);
var elemChild = document.createElement("TD");
elemChild.appendChild(document.createTextNode(num));
newElem.appendChild(elemChild);
newElem.appendChild(boxNode("name"+num,"Name "+num));
newElem.appendChild(boxNode("conf"+num,"Location "+num));
newElem.appendChild(createLinkElem("moveDown(this);","Move Down"));
newElem.appendChild(createLinkElem("deleteElem(this);","Delete Row"));
newElem.setAttribute("id","bar");
newElem.setAttribute("index",num);
newElem.setAttribute("rowIndex", 5);
alert(newElem.getAttribute("rowIndex"));
return newElem;
}
function insertRow(telement) {
var chld = getRow(telement);
var par = chld.parentNode;
var prev = prevRow(chld);
var numE,num;
if(prev) {
numE = prev.cells[1];
var num = numE.firstChild.nodeValue;
if(num=="Rank") {
num = 1;
} else {
num = parseInt(numE.firstChild.nodeValue) + 1;
}
} else {
num = 1;
}
par.insertBefore(createInsertNode(), chld);
par.insertBefore(createRow(num), chld);
chld = nextRow(chld);
while(chld) {
incNumber(chld, true);
chld = nextRow(chld);
}
}
function incNumber(trow, inc) {
if(trow.cells.length != 6) return;
// alert("before removing" + trow.getAttribute("id") + " = " + trow.id);
// trow.id = null;
// alert("after removing" + trow.getAttribute("id") + " = " + trow.id);
// alert("before removing" + trow.getAttribute("index") + " = " + trow.index);
// trow.index = null;
// alert("after removing" + trow.getAttribute("index") + " = " + trow.index);
alert(trow.getAttribute("rowIndex"));
var node = trow.cells[1];
var num = node.firstChild.nodeValue;
num = parseInt(num);
if(inc) {
num++;
} else {
num--;
}
trow.setAttribute("index", num);
node.firstChild.nodeValue=num+".";
node = trow.cells[2];
node = node.firstChild;
node.setAttribute("name","name"+num);
node.setAttribute("title","Name "+num);
node = trow.cells[3];
node = node.firstChild;
node.setAttribute("name","conf"+num);
node.setAttribute("title","Location "+num);
}
function prevRow(telement) {
if(!telement) {
return null;
}
var prev = telement.previousSibling;
while(prev && prev.nodeName != "TR") {
prev = prev.previousSibling;
}
return prev;
}
function nextRow(telement) {
if(!telement) {
return null;
}
var next = telement.nextSibling;
while(next && next.nodeName != "TR") {
next = next.nextSibling;
}
return next;
}
function getRow(telement) {
var chld = telement.parentNode;
while(chld.nodeName != "TR") {
chld = chld.parentNode;
}
return chld;
}
function moveUp(telement) {
var trow = getRow(telement);
var prev = prevRow(prevRow(trow));
var par = trow.parentNode;
if(prevRow(prev)) {
incNumber(trow,false);
incNumber(prev,true);
var next = nextRow(trow);
var remove = par.removeChild(trow);
par.insertBefore(remove,prev);
remove = par.removeChild(prev);
par.insertBefore(remove,next);
}
}
function moveDown(telement) {
var trow = getRow(telement);
var next = nextRow(nextRow(trow));
var par = trow.parentNode;
if(next) {
incNumber(trow,true);
incNumber(next,false);
var follo = nextRow(trow);
var remove = par.removeChild(trow);
par.insertBefore(remove,next);
remove = par.removeChild(next);
par.insertBefore(remove,follo);
}
}
function deleteElem(telement) {
var tr = getRow(telement);
follow = nextRow(tr);
var par = tr.parentNode;
var prev = prevRow(tr);
par.removeChild(prev);
par.removeChild(tr);
while(follow) {
incNumber(follow, false);
follow = nextRow(follow);
}
}
-->
</script>
<table>
<tbody>
<tr>
<td>&nbsp;</td><td align=center>Rank</td> <td align=center>Name of Restaurant</td> <td align=center>Location</td><td>&nbsp;</td><td>&nbsp;</td>
</tr>
<tr><td colspan=6 align=center><a href="#" onclick="insertRow(this);"><font size="-1">Insert Row</font></a></td></tr>
<tr id="bar" rowIndex="5">
<td><a href="#" onclick="moveUp(this);"><font size="-1">Move Up</font></a></td>
<td>1.</td>
<td><input maxlength=2048 size=55 name="name1" value="" title="Name 1"></td>
<td><input maxlength=2048 size=55 name="conf1" value="" title="Location 1"></td>
<td><font size="-1"><a href="#" onclick="moveDown(this);">Move Down</a></font></td>
<td><font size="-1"><a href="#" onclick="deleteElem(this);">Delete Row</a></font>
</tr>
<tr><td colspan=6 align=center><a href="#" onclick="insertRow(this);"><font size="-1">Insert Row</font></a></td></tr>
</tbody>
</table>
<p><center><input type=submit value="Submit Preferences" name=btnI></center>
</form>
<!-- End: Portlet 1 Markup Fragment -->
</div>
</td>
<td width="40%" class=even>
<div>
<!-- Start Portlet 2 Markup Fragment -->
<p id="secret" onclick="malicious(this)">This portlet contains information that is top secret. Thou shalt not read it</p>
<!-- Malicious style element -->
<!--
<style>
.test{color: white;}
</style>
-->
<script type="text/javascript">
<!--
function malicious(elem) {
var par = elem.parentNode;
// Creating a disallowed tag
var base = document.createElement("BASE");
base.setAttribute("href","http://www.hacker.com/");
par.appendChild(base);
// create a table
// var tab = document.createElement("TABLE");
// var tbody = document.createElement("TBODY");
// var tr = document.createElement("TR");
var td = document.createElement("TD");
var txt = document.createTextNode("Text");
td.appendChild(txt);
// tr.appendChild(td);
// tbody.appendChild(tr);
// tab.appendChild(td);
par.appendChild(td);
// TBODY is not automatically inserted
// Accessing and messing with other parts of the tree
while(par.nodeName != "TBODY") {
par = par.parentNode;
}
// anything outside the Restricted DOM Spec should be disallowed
par.firstChild.innerHTML = "This is crazy!";
alert(par.firstChild);
par.removeChild(par.firstChild);
}
// The following line writes into a shared global variable, and should be stopped
t1 = 1000;
// Write access to system level objects should be disallowed
window.status = "Malicious Portlet";
-->
</script>
<!-- End: Portlet 2 Markup Fragment -->
</div>
</td>
</tbody>
</table>
</body>
</html>

28
com.ibm.wala.cast.js.test.data/examples-src/tests/prototype_contamination_bug.js vendored
View File

@ -1,28 +0,0 @@
function A(){
}
A.prototype.foo = function foo_of_A(){
console.log("foo_of_A");
}
function B(){
}
B.prototype.foo = function foo_of_B(){
console.log("foo_of_B");
}
function test1(){
var a = new A
console.log("calling foo_of_A");
a.foo()
}
function test2(){
var b = new B
console.log("calling foo_of_B");
b.foo()
}
test1()
test2()

10
com.ibm.wala.cast.js.test.data/examples-src/tests/recursive_lexical.js
View File

@ -1,10 +0,0 @@
var m = function f() {
var x = {};
function g() {
x["foo"] = {};
f();
}
g();
}
m();

42
com.ibm.wala.cast.js.test.data/examples-src/tests/repr.js
View File

@ -1,42 +0,0 @@
var obj = {
repr:function(o){
if(typeof (o)=="undefined"){
return "undefined";
}else{
if(o===null){
return "null";
}
}
try{
if(typeof (o.__repr__)=="function"){
return o.__repr__();
}else{
if(typeof (o.repr)=="function"&&o.repr!=arguments.callee){
return o.repr();
}
}
return MochiKit.Base.reprRegistry.match(o);
}
catch(e){
if(typeof (o.NAME)=="string"&&(o.toString==Function.prototype.toString||o.toString==Object.prototype.toString)){
return o.NAME;
}
}
try{
var _d8=(o+"");
}
catch(e){
return "["+typeof (o)+"]";
}
if(typeof (o)=="function"){
o=_d8.replace(/^\s+/,"");
var idx=o.indexOf("{");
if(idx!=-1){
o=o.substr(0,idx)+"{...}";
}
}
return _d8;
}
};
obj.repr(obj);

6
com.ibm.wala.cast.js.test.data/examples-src/tests/return_this.js
View File

@ -1,6 +0,0 @@
var o = {
f: function foo() { return this; },
g: function bar() {}
}
o.f().g();

15
com.ibm.wala.cast.js.test.data/examples-src/tests/return_this2.js
View File

@ -1,15 +0,0 @@
function A() {}
A.prototype.f = function foo() {
return this;
};
var a1 = new A(), a2 = new A();
a1.g = function bar1() {};
a2.g = function bar2() {};
var x1 = a1.f();
var x2 = a2.f();
(function test1() { x1.g(); })();
(function test2() { x2.g(); })();

7
com.ibm.wala.cast.js.test.data/examples-src/tests/rewrite_does_not_change_lables_bug.js
View File

@ -1,7 +0,0 @@
function f(){
switch (a){
case b:
return "wow"
}
}
f();

6
com.ibm.wala.cast.js.test.data/examples-src/tests/rhino_crash1.js
View File

@ -1,6 +0,0 @@
function Z(dom, selector){
dom = dom || emptyArray;
dom.__proto__ = Z.prototype;
dom.selector = selector || '';
return dom;
}

4
com.ibm.wala.cast.js.test.data/examples-src/tests/rhino_crash2.js
View File

@ -1,4 +0,0 @@
if (window.addEventListener) {
Event.prototype = window.Event.prototype || document.createEvent('HTMLEvents').__proto__;
Object.extend(Event.prototype, methods);
}

10
com.ibm.wala.cast.js.test.data/examples-src/tests/rhino_crash3.js
View File

@ -1,10 +0,0 @@
function f() {
switch (0) {
default:
break;
}
oParsedResponse || 0;
}
f();

13
com.ibm.wala.cast.js.test.data/examples-src/tests/scoping_test.js
View File

@ -1,13 +0,0 @@
function foo() {
function baz() {
return function f1() {};
}
function boo() {
baz = function biz() { return function i_am_reachable() {}; }
}
boo();
return baz();
}
var x = foo();
x();

Some files were not shown because too many files have changed in this diff Show More