Julian Dolby 436d3165f7 rename getNumberOfParameters to getNumberOfPositionalParameters since the Python front end now supports keyword parameters ... support variable names in IR for synthetic summaries		2018-04-12 19:09:25 -04:00
..
cdg	Use Iterator2Iterable helper to convert more loops to for-each	2017-12-04 14:04:39 -08:00
exc	rename getNumberOfParameters to getNumberOfPositionalParameters since the Python front end now supports keyword parameters	2018-04-12 19:09:25 -04:00
AbstractCFG.java	Use Iterator2Iterable helper to convert more loops to for-each	2017-12-04 14:04:39 -08:00
BytecodeCFG.java	new test to remind me that prototype no longer works with correlation tracking:	2014-10-15 16:01:38 +09:00
CFGSanitizer.java	Use Iterator2Iterable helper to convert more loops to for-each	2017-12-04 14:04:39 -08:00
ControlFlowGraph.java	cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble.	2017-02-02 20:33:27 -05:00
IBasicBlock.java	Escape "<" and ">" in Javadoc when not used as HTML tag syntax	2017-12-19 16:53:52 -06:00
InducedCFG.java	Escape "<" and ">" in Javadoc when not used as HTML tag syntax	2017-12-19 16:53:52 -06:00
MinimalCFG.java	refactor CFG to separate instructions from CFGs; this is to allow code like CDGs to be reused without an IR.	2016-09-26 13:37:51 -04:00
ShrikeCFG.java	disable debugging properly	2018-01-25 15:18:17 -05:00
Util.java	"<bf>" is not a valid HTML tag, but "<b>" is	2017-12-19 16:53:55 -06:00
package.html	more conversion to Unix line endings	2012-09-04 15:59:50 -07:00