add AE stage 1

.github/workflows/github-action.yml

@@ -90,11 +90,21 @@ jobs:
         run:
           ctest -R double_free -VV
 
-      - name: ctest symabs
+      - name: ctest ae_symabs
         working-directory: ${{github.workspace}}/Release-build
         run:
           ctest -R symabs -VV
 
+      - name: ctest ae_assert
+        working-directory: ${{github.workspace}}/Release-build
+        run:
+          ctest -R ae_assert_test -VV
+
+      - name: ctest ae_overflow
+        working-directory: ${{github.workspace}}/Release-build
+        run:
+          ctest -R ae_overflow_test -VV
+
       - name: ctest cfl_tests
         working-directory: ${{github.workspace}}/Release-build
         run:
@@ -122,8 +132,6 @@ jobs:
           lcov --remove coverage.info '${{github.workspace}}/llvm-*.obj/*' --output-file coverage.info
           lcov --remove coverage.info '${{github.workspace}}/svf/include/FastCluster/*' --output-file coverage.info
           lcov --remove coverage.info '${{github.workspace}}/svf/lib/FastCluster/*' --output-file coverage.info
-          lcov --remove coverage.info '${{github.workspace}}/svf/include/AbstractExecution/*' --output-file coverage.info
-          lcov --remove coverage.info '${{github.workspace}}/svf/lib/AbstractExecution/*' --output-file coverage.info
 
       - name: upload-coverage
         if: runner.os == 'Linux'

svf-llvm/tools/AE/CMakeLists.txt

@@ -1,2 +1,3 @@
 add_llvm_executable(ae ae.cpp)
 target_link_libraries(ae PUBLIC ${llvm_libs} SvfLLVM)
+