62 Commits

Author	SHA1	Message	Date
JanLJL	625d814dce	new dynamic tp and lt values for LD instructions	2019-09-26 21:39:56 +02:00
JanLJL	fb834e5533	changed zen port model from combined LD/ST to separate ones	2019-09-06 16:12:37 +02:00
JanLJL	36a662267d	one more test	2019-08-30 16:40:40 +02:00
JanLJL	71dc7f5431	more tests	2019-08-30 16:36:50 +02:00
JanLJL	ab93311ceb	added missing kerncraft test file to all_tests	2019-08-30 16:20:22 +02:00
JanLJL	533f78f9cf	added tests for Kerncraft API	2019-08-30 16:19:18 +02:00
JanLJL	39004fce1a	added base parser to all_tests	2019-08-30 14:22:53 +02:00
JanLJL	1948c738d1	more tests	2019-08-30 13:09:02 +02:00
JanLJL	0173481bec	more tests for frontend	2019-08-30 12:28:04 +02:00
JanLJL	eeb55e8cf7	added tests for base parser	2019-08-30 12:10:15 +02:00
JanLJL	edd772380e	added tests for hidden load	2019-08-30 10:56:18 +02:00
JanLJL	ae5845b944	added tests for loop-carried deps and changed data structure of them to dict	2019-08-30 10:11:51 +02:00
JanLJL	9188e8e31e	added float immediate	2019-08-29 19:00:25 +02:00
JanLJL	fc06b968d8	more instructions	2019-08-29 18:54:28 +02:00
JanLJL	ff672fb5ec	more instructions	2019-08-29 17:52:27 +02:00
JanLJL	f2eff01529	more tests and bugfixes	2019-08-29 16:36:14 +02:00
JanLJL	e468db4a0d	refactoring from AArch64 to aarch64	2019-08-13 18:26:48 +02:00
JanLJL	f99265070f	copy data during set up	2019-08-09 12:00:17 +02:00
JanLJL	01e87b7727	more tests for codecov	2019-08-09 11:48:49 +02:00
JanLJL	b09129eeb7	more tests for Arm	2019-08-09 11:01:08 +02:00
JanLJL	184ed73190	renaming CSL to CSX	2019-07-26 08:31:06 +02:00
JanLJL	148977d417	changed tests for different ARM reg dependencies	2019-07-26 07:41:35 +02:00
JanLJL	832fa4e241	moved frontend tests to test_frontend.py	2019-07-24 11:06:28 +02:00
JanLJL	cb75bf52ab	first basic analysis version	2019-07-24 10:57:19 +02:00
JanLJL	e69baaba41	bugfix	2019-07-10 18:31:25 +02:00
JanLJL	a866500610	added DiGraph creation and more tests	2019-07-10 18:25:32 +02:00
JanLJL	311535476a	bugfix for test	2019-07-08 16:25:07 +02:00
JanLJL	75393f106c	finished refactoring for semanticsAppender, including first tests	2019-07-08 15:47:08 +02:00
JanLJL	593dd63897	refactoring as preparations for explicit semanticsAppender	2019-07-05 15:34:00 +02:00
JanLJL	2e23820a55	changed reg scale value to int and added prefix x for sp	2019-07-03 12:55:42 +02:00
JanLJL	e923c67bdb	bugfixed x86 parser and tests for dep finder	2019-06-24 17:28:45 +02:00
JanLJL	75a405e33e	added dependency check for registers and tests	2019-06-12 18:57:53 +02:00
JanLJL	119dc5baa9	refactoring to modulize marker_utils	2019-06-05 13:51:41 +02:00
JanLJL	b81a4c68d3	more tests	2019-06-04 14:15:56 +02:00
JanLJL	ee15842c97	added tests	2019-06-04 13:13:34 +02:00
JanLJL	d553998b90	added AttrDict to parser and refactoring	2019-06-04 12:55:32 +02:00
JanLJL	6c212d130c	added tests for analyzer	2019-06-04 10:07:44 +02:00
JanLJL	b469f5a0c4	added tests for pre/post-indexed addr and prefetching	2019-05-28 18:22:28 +02:00
JanLJL	0925af21a0	finished ARM parser and added tests	2019-05-24 15:10:02 +02:00
JanLJL	f9e6583959	more tests for parser	2019-05-03 14:45:21 +02:00
JanLJL	1f52157e9c	fixed tests	2019-05-02 18:52:16 +02:00
JanLJL	daa874b396	bugfixes	2019-04-30 18:57:18 +02:00
JanLJL	c70e57ab1a	fixed for tests	2019-04-30 18:46:45 +02:00
JanLJL	f189d6aca5	fixed wrong testname	2019-04-30 18:40:38 +02:00
JanLJL	38bbf2712b	added tests and functionalities for x86_att parser	2019-04-30 18:37:07 +02:00
JanLJL	2fa92bc0b0	prepared repo for version 3	2019-04-30 09:59:30 +02:00
Julian Hammer	5cd80f4e82	updated importer and evaluation functions	2019-01-29 13:52:12 +01:00
Julian Hammer	7185174885	making progress on covering ambigious instruction forms	2019-01-29 13:52:12 +01:00
Julian Hammer	fbc3437cce	added missing test file	2019-01-29 13:52:12 +01:00
Julian Hammer	db1cdf5474	[WIP] added test case and modified port counts to match imported model	2019-01-29 13:52:12 +01:00