Skip to content

Commit 1f723ce

Browse files
StevenArztStevenArzt
committed
initial check-in of FlowDroid 2.5
0 parents  commit 1f723ce

File tree

1,576 files changed

+307506
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,576 files changed

+307506
-0
lines changed

‎LICENSE

+502
Large diffs are not rendered by default.

‎pom.xml

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project
3+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
4+
xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>de.fraunhofer.sit.flowdroid</groupId>
7+
<artifactId>parent</artifactId>
8+
<version>2.5.1</version>
9+
<name>FlowDroid Parent Module</name>
10+
<packaging>pom</packaging>
11+
12+
<properties>
13+
<maven.compiler.source>1.8</maven.compiler.source>
14+
<maven.compiler.target>1.8</maven.compiler.target>
15+
</properties>
16+
17+
<modules>
18+
<module>soot-infoflow</module>
19+
<module>soot-infoflow-android</module>
20+
<module>soot-infoflow-summaries</module>
21+
<module>soot-infoflow-cmd</module>
22+
</modules>
23+
24+
</project>

‎soot-infoflow-android/.classpath

+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<classpath>
3+
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
4+
<classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
5+
<attributes>
6+
<attribute name="maven.pomderived" value="true"/>
7+
</attributes>
8+
</classpathentry>
9+
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
10+
<classpathentry kind="src" path="src"/>
11+
<classpathentry kind="src" path="test"/>
12+
<classpathentry combineaccessrules="false" kind="src" path="/soot"/>
13+
<classpathentry combineaccessrules="false" kind="src" path="/soot-infoflow"/>
14+
<classpathentry kind="lib" path="lib/protobuf-java-2.5.0.jar"/>
15+
<classpathentry kind="output" path="bin"/>
16+
</classpath>

‎soot-infoflow-android/.gitattributes

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
* text=auto
2+
3+
*.java text
4+
*.class binary
5+
*.jar binary

‎soot-infoflow-android/.gitignore

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
bin
2+
/JimpleFiles
3+
/sootOutput
4+
/ant.settings
5+
/build
6+
/reports
7+
/insecureBank/InsecureBank
8+
/out.log

‎soot-infoflow-android/.project

+34
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<projectDescription>
3+
<name>soot-infoflow-android</name>
4+
<comment></comment>
5+
<projects>
6+
</projects>
7+
<buildSpec>
8+
<buildCommand>
9+
<name>org.eclipse.m2e.core.maven2Builder</name>
10+
<arguments>
11+
</arguments>
12+
</buildCommand>
13+
<buildCommand>
14+
<name>org.eclipse.jdt.core.javabuilder</name>
15+
<arguments>
16+
</arguments>
17+
</buildCommand>
18+
<buildCommand>
19+
<name>org.eclipse.pde.ManifestBuilder</name>
20+
<arguments>
21+
</arguments>
22+
</buildCommand>
23+
<buildCommand>
24+
<name>org.eclipse.pde.SchemaBuilder</name>
25+
<arguments>
26+
</arguments>
27+
</buildCommand>
28+
</buildSpec>
29+
<natures>
30+
<nature>org.eclipse.jdt.core.javanature</nature>
31+
<nature>org.eclipse.pde.PluginNature</nature>
32+
<nature>org.eclipse.m2e.core.maven2Nature</nature>
33+
</natures>
34+
</projectDescription>

‎soot-infoflow-android/.settings/org.eclipse.jdt.ui.prefs

+59
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
eclipse.preferences.version=1
2+
editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
3+
sp_cleanup.add_default_serial_version_id=true
4+
sp_cleanup.add_generated_serial_version_id=false
5+
sp_cleanup.add_missing_annotations=true
6+
sp_cleanup.add_missing_deprecated_annotations=true
7+
sp_cleanup.add_missing_methods=false
8+
sp_cleanup.add_missing_nls_tags=false
9+
sp_cleanup.add_missing_override_annotations=true
10+
sp_cleanup.add_missing_override_annotations_interface_methods=true
11+
sp_cleanup.add_serial_version_id=false
12+
sp_cleanup.always_use_blocks=true
13+
sp_cleanup.always_use_parentheses_in_expressions=false
14+
sp_cleanup.always_use_this_for_non_static_field_access=false
15+
sp_cleanup.always_use_this_for_non_static_method_access=false
16+
sp_cleanup.convert_functional_interfaces=false
17+
sp_cleanup.convert_to_enhanced_for_loop=false
18+
sp_cleanup.correct_indentation=false
19+
sp_cleanup.format_source_code=true
20+
sp_cleanup.format_source_code_changes_only=false
21+
sp_cleanup.insert_inferred_type_arguments=false
22+
sp_cleanup.make_local_variable_final=true
23+
sp_cleanup.make_parameters_final=false
24+
sp_cleanup.make_private_fields_final=true
25+
sp_cleanup.make_type_abstract_if_missing_method=false
26+
sp_cleanup.make_variable_declarations_final=false
27+
sp_cleanup.never_use_blocks=false
28+
sp_cleanup.never_use_parentheses_in_expressions=true
29+
sp_cleanup.on_save_use_additional_actions=false
30+
sp_cleanup.organize_imports=true
31+
sp_cleanup.qualify_static_field_accesses_with_declaring_class=false
32+
sp_cleanup.qualify_static_member_accesses_through_instances_with_declaring_class=true
33+
sp_cleanup.qualify_static_member_accesses_through_subtypes_with_declaring_class=true
34+
sp_cleanup.qualify_static_member_accesses_with_declaring_class=false
35+
sp_cleanup.qualify_static_method_accesses_with_declaring_class=false
36+
sp_cleanup.remove_private_constructors=true
37+
sp_cleanup.remove_redundant_type_arguments=false
38+
sp_cleanup.remove_trailing_whitespaces=false
39+
sp_cleanup.remove_trailing_whitespaces_all=true
40+
sp_cleanup.remove_trailing_whitespaces_ignore_empty=false
41+
sp_cleanup.remove_unnecessary_casts=true
42+
sp_cleanup.remove_unnecessary_nls_tags=false
43+
sp_cleanup.remove_unused_imports=false
44+
sp_cleanup.remove_unused_local_variables=false
45+
sp_cleanup.remove_unused_private_fields=true
46+
sp_cleanup.remove_unused_private_members=false
47+
sp_cleanup.remove_unused_private_methods=true
48+
sp_cleanup.remove_unused_private_types=true
49+
sp_cleanup.sort_members=false
50+
sp_cleanup.sort_members_all=false
51+
sp_cleanup.use_anonymous_class_creation=false
52+
sp_cleanup.use_blocks=false
53+
sp_cleanup.use_blocks_only_for_return_and_throw=false
54+
sp_cleanup.use_lambda=true
55+
sp_cleanup.use_parentheses_in_expressions=false
56+
sp_cleanup.use_this_for_non_static_field_access=false
57+
sp_cleanup.use_this_for_non_static_field_access_only_if_necessary=true
58+
sp_cleanup.use_this_for_non_static_method_access=false
59+
sp_cleanup.use_this_for_non_static_method_access_only_if_necessary=true

‎soot-infoflow-android/AndroidCallbacks.txt

+183
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,183 @@
1+
android.accounts.OnAccountsUpdateListener
2+
android.animation.Animator$AnimatorListener
3+
android.animation.LayoutTransition$TransitionListener
4+
android.animation.TimeAnimator$TimeListener
5+
android.animation.ValueAnimator$AnimatorUpdateListener
6+
android.app.ActionBar$OnMenuVisibilityListener
7+
android.app.ActionBar$OnNavigationListener
8+
android.app.ActionBar$TabListener
9+
android.app.Application$ActivityLifecycleCallbacks
10+
android.app.DatePickerDialog$OnDateSetListener
11+
android.app.FragmentBreadCrumbs$OnBreadCrumbClickListener
12+
android.app.FragmentManager$OnBackStackChangedListener
13+
android.app.KeyguardManager$OnKeyguardExitResult
14+
android.app.LoaderManager$LoaderCallbacks
15+
android.app.PendingIntent$OnFinished
16+
android.app.SearchManager$OnCancelListener
17+
android.app.SearchManager$OnDismissListener
18+
android.app.TimePickerDialog$OnTimeSetListener
19+
android.bluetooth.BluetoothProfile$ServiceListener
20+
android.content.ClipboardManager$OnPrimaryClipChangedListener
21+
android.content.ComponentCallbacks
22+
android.content.ComponentCallbacks2
23+
android.content.DialogInterface$OnCancelListener
24+
android.content.DialogInterface$OnClickListener
25+
android.content.DialogInterface$OnDismissListener
26+
android.content.DialogInterface$OnKeyListener
27+
android.content.DialogInterface$OnMultiChoiceClickListener
28+
android.content.DialogInterface$OnShowListener
29+
android.content.IntentSender$OnFinished
30+
android.content.Loader$OnLoadCanceledListener
31+
android.content.Loader$OnLoadCompleteListener
32+
android.content.SharedPreferences$OnSharedPreferenceChangeListener
33+
android.content.SyncStatusObserver
34+
android.database.sqlite.SQLiteTransactionListener
35+
android.drm.DrmManagerClient$OnErrorListener
36+
android.drm.DrmManagerClient$OnEventListener
37+
android.drm.DrmManagerClient$OnInfoListener
38+
android.gesture.GestureOverlayView$OnGestureListener
39+
android.gesture.GestureOverlayView$OnGesturePerformedListener
40+
android.gesture.GestureOverlayView$OnGesturingListener
41+
android.graphics.SurfaceTexture$OnFrameAvailableListener
42+
android.hardware.Camera$AutoFocusCallback
43+
android.hardware.Camera$AutoFocusMoveCallback
44+
android.hardware.Camera$ErrorCallback
45+
android.hardware.Camera$FaceDetectionListener
46+
android.hardware.Camera$OnZoomChangeListener
47+
android.hardware.Camera$PictureCallback
48+
android.hardware.Camera$PreviewCallback
49+
android.hardware.Camera$ShutterCallback
50+
android.hardware.SensorEventListener
51+
android.hardware.display.DisplayManager$DisplayListener
52+
android.hardware.input.InputManager$InputDeviceListener
53+
android.inputmethodservice.KeyboardView$OnKeyboardActionListener
54+
android.location.GpsStatus$Listener
55+
android.location.GpsStatus$NmeaListener
56+
android.location.LocationListener
57+
android.media.AudioManager$OnAudioFocusChangeListener
58+
android.media.AudioRecord$OnRecordPositionUpdateListener
59+
android.media.JetPlayer$OnJetEventListener
60+
android.media.MediaPlayer$OnBufferingUpdateListener
61+
android.media.MediaPlayer$OnCompletionListener
62+
android.media.MediaPlayer$OnErrorListener
63+
android.media.MediaPlayer$OnInfoListener
64+
android.media.MediaPlayer$OnPreparedListener
65+
android.media.MediaPlayer$OnSeekCompleteListener
66+
android.media.MediaPlayer$OnTimedTextListener
67+
android.media.MediaPlayer$OnVideoSizeChangedListener
68+
android.media.MediaRecorder$OnErrorListener
69+
android.media.MediaRecorder$OnInfoListener
70+
android.media.MediaScannerConnection$MediaScannerConnectionClient
71+
android.media.MediaScannerConnection$OnScanCompletedListener
72+
android.media.SoundPool$OnLoadCompleteListener
73+
android.media.audiofx.AudioEffect$OnControlStatusChangeListener
74+
android.media.audiofx.AudioEffect$OnEnableStatusChangeListener
75+
android.media.audiofx.BassBoost$OnParameterChangeListener
76+
android.media.audiofx.EnvironmentalReverb$OnParameterChangeListener
77+
android.media.audiofx.Equalizer$OnParameterChangeListener
78+
android.media.audiofx.PresetReverb$OnParameterChangeListener
79+
android.media.audiofx.Virtualizer$OnParameterChangeListener
80+
android.media.audiofx.Visualizer$OnDataCaptureListener
81+
android.media.effect$EffectUpdateListener
82+
android.net.nsd.NsdManager$DiscoveryListener
83+
android.net.nsd.NsdManager$RegistrationListener
84+
android.net.nsd.NsdManager$ResolveListener
85+
android.net.sip.SipRegistrationListener
86+
android.net.sip.SipAudioCall$Listener
87+
android.net.sip.SipSession$Listener
88+
android.net.wifi.p2p.WifiP2pManager$ActionListener
89+
android.net.wifi.p2p.WifiP2pManager$ChannelListener
90+
android.net.wifi.p2p.WifiP2pManager$ConnectionInfoListener
91+
android.net.wifi.p2p.WifiP2pManager$DnsSdServiceResponseListener
92+
android.net.wifi.p2p.WifiP2pManager$DnsSdTxtRecordListener
93+
android.net.wifi.p2p.WifiP2pManager$GroupInfoListener
94+
android.net.wifi.p2p.WifiP2pManager$PeerListListener
95+
android.net.wifi.p2p.WifiP2pManager$ServiceResponseListener
96+
android.net.wifi.p2p.WifiP2pManager$UpnpServiceResponseListener
97+
android.os.CancellationSignal$OnCancelListener
98+
android.os.IBinder$DeathRecipient
99+
android.os.MessageQueue$IdleHandler
100+
android.os.RecoverySystem$ProgressListener
101+
android.preference.Preference$OnPreferenceChangeListener
102+
android.preference.Preference$OnPreferenceClickListener
103+
android.preference.PreferenceFragment$OnPreferenceStartFragmentCallback
104+
android.preference.PreferenceManager$OnActivityDestroyListener
105+
android.preference.PreferenceManager$OnActivityResultListener
106+
android.preference.PreferenceManager$OnActivityStopListener
107+
android.security.KeyChainAliasCallback
108+
android.speech.RecognitionListener
109+
android.speech.tts.TextToSpeech$OnInitListener
110+
android.speech.tts.TextToSpeech$OnUtteranceCompletedListener
111+
android.view.ActionMode$Callback
112+
android.view.ActionProvider$VisibilityListener
113+
android.view.GestureDetector$OnDoubleTapListener
114+
android.view.GestureDetector$OnGestureListener
115+
android.view.InputQueue$Callback
116+
android.view.KeyEvent$Callback
117+
android.view.MenuItem$OnActionExpandListener
118+
android.view.MenuItem$OnMenuItemClickListener
119+
android.view.ScaleGestureDetector$OnScaleGestureListener
120+
android.view.SurfaceHolder$Callback
121+
android.view.SurfaceHolder$Callback2
122+
android.view.TextureView$SurfaceTextureListener
123+
android.view.View$OnAttachStateChangeListener
124+
android.view.View$OnClickListener
125+
android.view.View$OnCreateContextMenuListener
126+
android.view.View$OnDragListener
127+
android.view.View$OnFocusChangeListener
128+
android.view.View$OnGenericMotionListener
129+
android.view.View$OnHoverListener
130+
android.view.View$OnKeyListener
131+
android.view.View$OnLayoutChangeListener
132+
android.view.View$OnLongClickListener
133+
android.view.View$OnSystemUiVisibilityChangeListener�
134+
android.view.View$OnTouchListener
135+
android.view.ViewGroup$OnHierarchyChangeListener
136+
android.view.ViewStub$OnInflateListener
137+
android.view.ViewTreeObserver$OnDrawListener
138+
android.view.ViewTreeObserver$OnGlobalFocusChangeListener
139+
android.view.ViewTreeObserver$OnGlobalLayoutListener
140+
android.view.ViewTreeObserver$OnPreDrawListener
141+
android.view.ViewTreeObserver$OnScrollChangedListener
142+
android.view.ViewTreeObserver$OnTouchModeChangeListener
143+
android.view.accessibility.AccessibilityManager$AccessibilityStateChangeListener
144+
android.view.animation.Animation$AnimationListener
145+
android.view.inputmethod.InputMethod$SessionCallback
146+
android.view.inputmethod.InputMethodSession$EventCallback
147+
android.view.textservice.SpellCheckerSession$SpellCheckerSessionListener
148+
android.webkit.DownloadListener
149+
android.widget.AbsListView$MultiChoiceModeListener
150+
android.widget.AbsListView$OnScrollListener
151+
android.widget.AbsListView$RecyclerListener
152+
android.widget.AdapterView$OnItemClickListener
153+
android.widget.AdapterView$OnItemLongClickListener
154+
android.widget.AdapterView.OnItemSelectedListener
155+
android.widget.AutoCompleteTextView$OnDismissListener
156+
android.widget.CalendarView$OnDateChangeListener
157+
android.widget.Chronometer$OnChronometerTickListener
158+
android.widget.CompoundButton$OnCheckedChangeListener
159+
android.widget.DatePicker$OnDateChangedListener
160+
android.widget.ExpandableListView$OnChildClickListener
161+
android.widget.ExpandableListView$OnGroupClickListener
162+
android.widget.ExpandableListView$OnGroupCollapseListener
163+
android.widget.ExpandableListView$OnGroupExpandListener
164+
android.widget.Filter$FilterListener
165+
android.widget.NumberPicker$OnScrollListener
166+
android.widget.NumberPicker$OnValueChangeListener
167+
android.widget.NumberPicker$OnDismissListener
168+
android.widget.PopupMenu$OnMenuItemClickListener
169+
android.widget.PopupWindow$OnDismissListener
170+
android.widget.RadioGroup$OnCheckedChangeListener
171+
android.widget.RatingBar$OnRatingBarChangeListener
172+
android.widget.SearchView$OnCloseListener
173+
android.widget.SearchView$OnQueryTextListener
174+
android.widget.SearchView$OnSuggestionListener
175+
android.widget.SeekBar$OnSeekBarChangeListener
176+
android.widget.ShareActionProvider$OnShareTargetSelectedListener
177+
android.widget.SlidingDrawer$OnDrawerCloseListener
178+
android.widget.SlidingDrawer$OnDrawerOpenListener
179+
android.widget.SlidingDrawer$OnDrawerScrollListener
180+
android.widget.TabHost$OnTabChangeListener
181+
android.widget.TextView$OnEditorActionListener
182+
android.widget.TimePicker$OnTimeChangedListener
183+
android.widget.ZoomButtonsController$OnZoomListener

0 commit comments

Comments
 (0)